services.clipse.theme

Configuration written to $XDG_CONFIG_HOME/clipse/custom_theme.json.

Declarations

Type

JSON value

Default

{
  useCustomTheme = false;
}

Example

{
  useCustomTheme = true;
  DimmedDesc = "#ffffff";
  DimmedTitle = "#ffffff";
  FilteredMatch = "#ffffff";
  NormalDesc = "#ffffff";
  NormalTitle = "#ffffff";
  SelectedDesc = "#ffffff";
  SelectedTitle = "#ffffff";
  SelectedBorder = "#ffffff";
  SelectedDescBorder = "#ffffff";
  TitleFore = "#ffffff";
  Titleback = "#434C5E";
  StatusMsg = "#ffffff";
  PinIndicatorColor = "#ff0000";
};