solarized_light.rs

  1use gpui2::rgba;
  2
  3use crate::{PlayerTheme, SyntaxTheme, Theme, ThemeMetadata};
  4
  5pub fn solarized_light() -> Theme {
  6    Theme {
  7        metadata: ThemeMetadata {
  8            name: "Solarized Light".into(),
  9            is_light: true,
 10        },
 11        transparent: rgba(0x00000000).into(),
 12        mac_os_traffic_light_red: rgba(0xec695eff).into(),
 13        mac_os_traffic_light_yellow: rgba(0xf4bf4eff).into(),
 14        mac_os_traffic_light_green: rgba(0x61c553ff).into(),
 15        border: rgba(0x9faaa8ff).into(),
 16        border_variant: rgba(0x9faaa8ff).into(),
 17        border_focused: rgba(0xbfd3efff).into(),
 18        border_transparent: rgba(0x00000000).into(),
 19        elevated_surface: rgba(0xcfd0c4ff).into(),
 20        surface: rgba(0xf3eddaff).into(),
 21        background: rgba(0xcfd0c4ff).into(),
 22        filled_element: rgba(0xcfd0c4ff).into(),
 23        filled_element_hover: rgba(0xffffff1e).into(),
 24        filled_element_active: rgba(0xffffff28).into(),
 25        filled_element_selected: rgba(0xdbe6f6ff).into(),
 26        filled_element_disabled: rgba(0x00000000).into(),
 27        ghost_element: rgba(0x00000000).into(),
 28        ghost_element_hover: rgba(0xffffff14).into(),
 29        ghost_element_active: rgba(0xffffff1e).into(),
 30        ghost_element_selected: rgba(0xdbe6f6ff).into(),
 31        ghost_element_disabled: rgba(0x00000000).into(),
 32        text: rgba(0x002a35ff).into(),
 33        text_muted: rgba(0x34555eff).into(),
 34        text_placeholder: rgba(0xdc3330ff).into(),
 35        text_disabled: rgba(0x6a7f86ff).into(),
 36        text_accent: rgba(0x288bd1ff).into(),
 37        icon_muted: rgba(0x34555eff).into(),
 38        syntax: SyntaxTheme {
 39            highlights: vec![
 40                ("string.escape".into(), rgba(0x30525bff).into()),
 41                ("boolean".into(), rgba(0x849903ff).into()),
 42                ("comment.doc".into(), rgba(0x30525bff).into()),
 43                ("string.special".into(), rgba(0xcb4b17ff).into()),
 44                ("punctuation".into(), rgba(0x04333eff).into()),
 45                ("emphasis".into(), rgba(0x288bd1ff).into()),
 46                ("type".into(), rgba(0x2ba198ff).into()),
 47                ("preproc".into(), rgba(0x002a35ff).into()),
 48                ("emphasis.strong".into(), rgba(0x288bd1ff).into()),
 49                ("constant".into(), rgba(0x849903ff).into()),
 50                ("title".into(), rgba(0x002a35ff).into()),
 51                ("operator".into(), rgba(0xcb4b17ff).into()),
 52                ("punctuation.bracket".into(), rgba(0x04333eff).into()),
 53                ("link_uri".into(), rgba(0x849903ff).into()),
 54                ("label".into(), rgba(0x288bd1ff).into()),
 55                ("enum".into(), rgba(0xcb4b17ff).into()),
 56                ("property".into(), rgba(0x288bd1ff).into()),
 57                ("predictive".into(), rgba(0x679aafff).into()),
 58                ("punctuation.special".into(), rgba(0x04333eff).into()),
 59                ("text.literal".into(), rgba(0xcb4b17ff).into()),
 60                ("string".into(), rgba(0xcb4b17ff).into()),
 61                ("string.regex".into(), rgba(0xcb4b17ff).into()),
 62                ("variable".into(), rgba(0x002a35ff).into()),
 63                ("tag".into(), rgba(0x288bd1ff).into()),
 64                ("string.special.symbol".into(), rgba(0xcb4b17ff).into()),
 65                ("link_text".into(), rgba(0xcb4b17ff).into()),
 66                ("punctuation.list_marker".into(), rgba(0x04333eff).into()),
 67                ("keyword".into(), rgba(0x288bd1ff).into()),
 68                ("constructor".into(), rgba(0x288bd1ff).into()),
 69                ("attribute".into(), rgba(0x288bd1ff).into()),
 70                ("variant".into(), rgba(0x288bd1ff).into()),
 71                ("function".into(), rgba(0xb58903ff).into()),
 72                ("primary".into(), rgba(0x002a35ff).into()),
 73                ("hint".into(), rgba(0x5789a3ff).into()),
 74                ("comment".into(), rgba(0x30525bff).into()),
 75                ("number".into(), rgba(0x849903ff).into()),
 76                ("punctuation.delimiter".into(), rgba(0x04333eff).into()),
 77                ("embedded".into(), rgba(0x002a35ff).into()),
 78            ],
 79        },
 80        status_bar: rgba(0xcfd0c4ff).into(),
 81        title_bar: rgba(0xcfd0c4ff).into(),
 82        toolbar: rgba(0xfdf6e3ff).into(),
 83        tab_bar: rgba(0xf3eddaff).into(),
 84        editor: rgba(0xfdf6e3ff).into(),
 85        editor_subheader: rgba(0xf3eddaff).into(),
 86        editor_active_line: rgba(0xf3eddaff).into(),
 87        terminal: rgba(0xfdf6e3ff).into(),
 88        image_fallback_background: rgba(0xcfd0c4ff).into(),
 89        git_created: rgba(0x849903ff).into(),
 90        git_modified: rgba(0x288bd1ff).into(),
 91        git_deleted: rgba(0xdc3330ff).into(),
 92        git_conflict: rgba(0xb58903ff).into(),
 93        git_ignored: rgba(0x6a7f86ff).into(),
 94        git_renamed: rgba(0xb58903ff).into(),
 95        players: [
 96            PlayerTheme {
 97                cursor: rgba(0x288bd1ff).into(),
 98                selection: rgba(0x288bd13d).into(),
 99            },
100            PlayerTheme {
101                cursor: rgba(0x849903ff).into(),
102                selection: rgba(0x8499033d).into(),
103            },
104            PlayerTheme {
105                cursor: rgba(0xd33781ff).into(),
106                selection: rgba(0xd337813d).into(),
107            },
108            PlayerTheme {
109                cursor: rgba(0xcb4b17ff).into(),
110                selection: rgba(0xcb4b173d).into(),
111            },
112            PlayerTheme {
113                cursor: rgba(0x6c71c3ff).into(),
114                selection: rgba(0x6c71c33d).into(),
115            },
116            PlayerTheme {
117                cursor: rgba(0x2ba198ff).into(),
118                selection: rgba(0x2ba1983d).into(),
119            },
120            PlayerTheme {
121                cursor: rgba(0xdc3330ff).into(),
122                selection: rgba(0xdc33303d).into(),
123            },
124            PlayerTheme {
125                cursor: rgba(0xb58903ff).into(),
126                selection: rgba(0xb589033d).into(),
127            },
128        ],
129    }
130}