services.clipse.theme
Home-Manager option
Configuration written to $XDG_CONFIG_HOME/clipse/custom_theme.json.
type: JSON valueDefault
{ useCustomTheme = false; }Example
declared in: <home-manager/modules/services/clipse.nix>source unavailable{ 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"; };