Minor UI fixes

This commit is contained in:
IRBorisov 2023-09-26 00:24:50 +03:00
parent cd4792e96c
commit 1f8f904626
3 changed files with 7 additions and 7 deletions

View File

@ -88,7 +88,7 @@ function RefsInput({
}, },
styles: [ styles: [
{ tag: tags.name, color: colors.fgPurple }, // GlobalID { tag: tags.name, color: colors.fgPurple }, // GlobalID
{ tag: tags.literal, color: colors.fgBlue }, // literals { tag: tags.literal, color: colors.fgTeal }, // literals
] ]
}), [editable, colors, darkMode]); }), [editable, colors, darkMode]);

View File

@ -24,12 +24,12 @@ export enum CstClass {
// Constituenta expression status // Constituenta expression status
export enum ExpressionStatus { export enum ExpressionStatus {
VERIFIED = 'verified',
INCORRECT = 'incorrect',
PROPERTY = 'property',
INCALCULABLE = 'incalculable',
UNDEFINED = 'undefined', UNDEFINED = 'undefined',
UNKNOWN = 'unknown', UNKNOWN = 'unknown',
INCORRECT = 'incorrect',
INCALCULABLE = 'incalculable',
PROPERTY = 'property',
VERIFIED = 'verified'
} }
export interface TermForm { export interface TermForm {

View File

@ -60,7 +60,7 @@ export const lightT: IColorTheme = {
// Hightlight syntax accents // Hightlight syntax accents
bgRed: 'hsl(000, 100%, 089%)', bgRed: 'hsl(000, 100%, 089%)',
bgGreen: 'hsl(100, 100%, 075%)', bgGreen: 'hsl(100, 100%, 075%)',
bgBlue: 'hsl(235, 100%, 085%)', bgBlue: 'hsl(235, 080%, 087%)',
bgPurple: 'hsl(274, 089%, 081%)', bgPurple: 'hsl(274, 089%, 081%)',
bgTeal: 'hsl(192, 089%, 081%)', bgTeal: 'hsl(192, 089%, 081%)',
bgOrange: 'hsl(028, 100%, 075%)', bgOrange: 'hsl(028, 100%, 075%)',
@ -68,7 +68,7 @@ export const lightT: IColorTheme = {
fgRed: 'hsl(000, 090%, 045%)', fgRed: 'hsl(000, 090%, 045%)',
fgGreen: 'hsl(100, 090%, 035%)', fgGreen: 'hsl(100, 090%, 035%)',
fgBlue: 'hsl(235, 100%, 050%)', fgBlue: 'hsl(235, 100%, 050%)',
fgPurple: 'hsl(270, 100%, 070%)', fgPurple: 'hsl(270, 100%, 055%)',
fgTeal: 'hsl(200, 080%, 050%)', fgTeal: 'hsl(200, 080%, 050%)',
fgOrange: 'hsl(030, 090%, 055%)' fgOrange: 'hsl(030, 090%, 055%)'
}; };