Class ThemePalette
java.lang.Object
com.codename1.ui.editor.ThemePalette
The color palette for the pure code editor, mirroring the light (GitHub style) and dark (VS Code
style) themes used by the previous
BrowserComponent backend so switching backends is visually
consistent.-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final ThemePaletteThe VS Code style dark palette.static final ThemePaletteThe GitHub style light palette. -
Method Summary
Modifier and TypeMethodDescriptionintcolorForKind(int kind) Returns the color for the givenTokenizertoken kind.static ThemePaletteReturns the palette for the given theme id ("dark"returns the dark palette, anything else the light palette).intThe editor background color.intThe error diagnostic color.intThe default text color.intThe gutter background color.intThe gutter text color.intThe info diagnostic color.intThe selection highlight color.intThe warning diagnostic color.
-
Field Details
-
LIGHT
The GitHub style light palette. -
DARK
The VS Code style dark palette.
-
-
Method Details
-
forName
Returns the palette for the given theme id ("dark"returns the dark palette, anything else the light palette). -
colorForKind
public int colorForKind(int kind) Returns the color for the givenTokenizertoken kind. -
getBackground
public int getBackground()The editor background color. -
getForeground
public int getForeground()The default text color. -
getSelection
public int getSelection()The selection highlight color. -
getGutterBackground
public int getGutterBackground()The gutter background color. -
getGutterForeground
public int getGutterForeground()The gutter text color. -
getErrorColor
public int getErrorColor()The error diagnostic color. -
getWarningColor
public int getWarningColor()The warning diagnostic color. -
getInfoColor
public int getInfoColor()The info diagnostic color.
-