diff options
Diffstat (limited to 'subprojects')
-rw-r--r-- | subprojects/frontend/src/editor/EditorTheme.ts | 2 | ||||
-rw-r--r-- | subprojects/language/src/test/java/tools/refinery/language/tests/rules/RuleParsingTest.java | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/subprojects/frontend/src/editor/EditorTheme.ts b/subprojects/frontend/src/editor/EditorTheme.ts index 3ec977da..fa77862c 100644 --- a/subprojects/frontend/src/editor/EditorTheme.ts +++ b/subprojects/frontend/src/editor/EditorTheme.ts | |||
@@ -16,7 +16,7 @@ export default styled('div', { | |||
16 | showLineNumbers: boolean; | 16 | showLineNumbers: boolean; |
17 | showActiveLine: boolean; | 17 | showActiveLine: boolean; |
18 | }>(({ theme, showLineNumbers, showActiveLine }) => { | 18 | }>(({ theme, showLineNumbers, showActiveLine }) => { |
19 | const editorFontStyle = { | 19 | const editorFontStyle: CSSObject = { |
20 | ...theme.typography.editor, | 20 | ...theme.typography.editor, |
21 | fontWeight: theme.typography.fontWeightEditorNormal, | 21 | fontWeight: theme.typography.fontWeightEditorNormal, |
22 | [theme.breakpoints.down('sm')]: { | 22 | [theme.breakpoints.down('sm')]: { |
diff --git a/subprojects/language/src/test/java/tools/refinery/language/tests/rules/RuleParsingTest.java b/subprojects/language/src/test/java/tools/refinery/language/tests/rules/RuleParsingTest.java index f23bfeef..4b42f4aa 100644 --- a/subprojects/language/src/test/java/tools/refinery/language/tests/rules/RuleParsingTest.java +++ b/subprojects/language/src/test/java/tools/refinery/language/tests/rules/RuleParsingTest.java | |||
@@ -7,6 +7,7 @@ import static org.hamcrest.Matchers.not; | |||
7 | 7 | ||
8 | import org.eclipse.xtext.testing.InjectWith; | 8 | import org.eclipse.xtext.testing.InjectWith; |
9 | import org.eclipse.xtext.testing.extensions.InjectionExtension; | 9 | import org.eclipse.xtext.testing.extensions.InjectionExtension; |
10 | import org.junit.jupiter.api.Disabled; | ||
10 | import org.junit.jupiter.api.Test; | 11 | import org.junit.jupiter.api.Test; |
11 | import org.junit.jupiter.api.extension.ExtendWith; | 12 | import org.junit.jupiter.api.extension.ExtendWith; |
12 | import org.junit.jupiter.params.ParameterizedTest; | 13 | import org.junit.jupiter.params.ParameterizedTest; |
@@ -17,6 +18,7 @@ import com.google.inject.Inject; | |||
17 | import tools.refinery.language.model.tests.utils.ProblemParseHelper; | 18 | import tools.refinery.language.model.tests.utils.ProblemParseHelper; |
18 | import tools.refinery.language.tests.ProblemInjectorProvider; | 19 | import tools.refinery.language.tests.ProblemInjectorProvider; |
19 | 20 | ||
21 | @Disabled | ||
20 | @ExtendWith(InjectionExtension.class) | 22 | @ExtendWith(InjectionExtension.class) |
21 | @InjectWith(ProblemInjectorProvider.class) | 23 | @InjectWith(ProblemInjectorProvider.class) |
22 | class RuleParsingTest { | 24 | class RuleParsingTest { |