Merge branch 'master' into develop

This commit is contained in:
Pieter Vander Vennet 2023-03-08 02:07:22 +01:00
commit db25d64409
30 changed files with 556 additions and 145 deletions

View file

@ -87,7 +87,11 @@ export default class TagRenderingQuestion extends Combine {
)
let questionHint = undefined
if (configuration.questionhint !== undefined) {
questionHint = new SubstitutedTranslation(configuration.questionhint, tags, state)
questionHint = new SubstitutedTranslation(
configuration.questionhint,
tags,
state
).SetClass("font-bold subtle")
}
const feedback = new UIEventSource<Translation>(undefined)