one_dark.rs

  1use gpui2::rgba;
  2
  3use crate::{PlayerTheme, SyntaxTheme, Theme, ThemeMetadata};
  4
  5pub fn one_dark() -> Theme {
  6    Theme {
  7        metadata: ThemeMetadata {
  8            name: "One Dark".into(),
  9            is_light: false,
 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(0x464b57ff).into(),
 16        border_variant: rgba(0x464b57ff).into(),
 17        border_focused: rgba(0x293b5bff).into(),
 18        border_transparent: rgba(0x00000000).into(),
 19        elevated_surface: rgba(0x3b414dff).into(),
 20        surface: rgba(0x2f343eff).into(),
 21        background: rgba(0x3b414dff).into(),
 22        filled_element: rgba(0x3b414dff).into(),
 23        filled_element_hover: rgba(0xffffff1e).into(),
 24        filled_element_active: rgba(0xffffff28).into(),
 25        filled_element_selected: rgba(0x18243dff).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(0x18243dff).into(),
 31        ghost_element_disabled: rgba(0x00000000).into(),
 32        text: rgba(0xc8ccd4ff).into(),
 33        text_muted: rgba(0x838994ff).into(),
 34        text_placeholder: rgba(0xd07277ff).into(),
 35        text_disabled: rgba(0x555a63ff).into(),
 36        text_accent: rgba(0x74ade8ff).into(),
 37        icon_muted: rgba(0x838994ff).into(),
 38        syntax: SyntaxTheme {
 39            highlights: vec![
 40                ("link_uri".into(), rgba(0x6eb4bfff).into()),
 41                ("number".into(), rgba(0xbf956aff).into()),
 42                ("property".into(), rgba(0xd07277ff).into()),
 43                ("boolean".into(), rgba(0xbf956aff).into()),
 44                ("label".into(), rgba(0x74ade8ff).into()),
 45                ("punctuation.list_marker".into(), rgba(0xd07277ff).into()),
 46                ("keyword".into(), rgba(0xb477cfff).into()),
 47                ("punctuation.delimiter".into(), rgba(0xb2b9c6ff).into()),
 48                ("string.special".into(), rgba(0xbf956aff).into()),
 49                ("constant".into(), rgba(0xdfc184ff).into()),
 50                ("punctuation".into(), rgba(0xacb2beff).into()),
 51                ("variable.special".into(), rgba(0xbf956aff).into()),
 52                ("preproc".into(), rgba(0xc8ccd4ff).into()),
 53                ("enum".into(), rgba(0xd07277ff).into()),
 54                ("attribute".into(), rgba(0x74ade8ff).into()),
 55                ("emphasis.strong".into(), rgba(0xbf956aff).into()),
 56                ("title".into(), rgba(0xd07277ff).into()),
 57                ("hint".into(), rgba(0x5a6f89ff).into()),
 58                ("emphasis".into(), rgba(0x74ade8ff).into()),
 59                ("string.regex".into(), rgba(0xbf956aff).into()),
 60                ("link_text".into(), rgba(0x73ade9ff).into()),
 61                ("string".into(), rgba(0xa1c181ff).into()),
 62                ("comment.doc".into(), rgba(0x878e98ff).into()),
 63                ("punctuation.special".into(), rgba(0xb1574bff).into()),
 64                ("primary".into(), rgba(0xacb2beff).into()),
 65                ("operator".into(), rgba(0x6eb4bfff).into()),
 66                ("function".into(), rgba(0x73ade9ff).into()),
 67                ("string.special.symbol".into(), rgba(0xbf956aff).into()),
 68                ("type".into(), rgba(0x6eb4bfff).into()),
 69                ("variant".into(), rgba(0x73ade9ff).into()),
 70                ("tag".into(), rgba(0x74ade8ff).into()),
 71                ("punctuation.bracket".into(), rgba(0xb2b9c6ff).into()),
 72                ("embedded".into(), rgba(0xc8ccd4ff).into()),
 73                ("string.escape".into(), rgba(0x878e98ff).into()),
 74                ("variable".into(), rgba(0xc8ccd4ff).into()),
 75                ("predictive".into(), rgba(0x5a6a87ff).into()),
 76                ("comment".into(), rgba(0x5d636fff).into()),
 77                ("text.literal".into(), rgba(0xa1c181ff).into()),
 78                ("constructor".into(), rgba(0x73ade9ff).into()),
 79            ],
 80        },
 81        status_bar: rgba(0x3b414dff).into(),
 82        title_bar: rgba(0x3b414dff).into(),
 83        toolbar: rgba(0x282c33ff).into(),
 84        tab_bar: rgba(0x2f343eff).into(),
 85        editor: rgba(0x282c33ff).into(),
 86        editor_subheader: rgba(0x2f343eff).into(),
 87        editor_active_line: rgba(0x2f343eff).into(),
 88        terminal: rgba(0x282c33ff).into(),
 89        image_fallback_background: rgba(0x3b414dff).into(),
 90        git_created: rgba(0xa1c181ff).into(),
 91        git_modified: rgba(0x74ade8ff).into(),
 92        git_deleted: rgba(0xd07277ff).into(),
 93        git_conflict: rgba(0xdec184ff).into(),
 94        git_ignored: rgba(0x555a63ff).into(),
 95        git_renamed: rgba(0xdec184ff).into(),
 96        players: [
 97            PlayerTheme {
 98                cursor: rgba(0x74ade8ff).into(),
 99                selection: rgba(0x74ade83d).into(),
100            },
101            PlayerTheme {
102                cursor: rgba(0xa1c181ff).into(),
103                selection: rgba(0xa1c1813d).into(),
104            },
105            PlayerTheme {
106                cursor: rgba(0xbe5046ff).into(),
107                selection: rgba(0xbe50463d).into(),
108            },
109            PlayerTheme {
110                cursor: rgba(0xbf956aff).into(),
111                selection: rgba(0xbf956a3d).into(),
112            },
113            PlayerTheme {
114                cursor: rgba(0xb477cfff).into(),
115                selection: rgba(0xb477cf3d).into(),
116            },
117            PlayerTheme {
118                cursor: rgba(0x6eb4bfff).into(),
119                selection: rgba(0x6eb4bf3d).into(),
120            },
121            PlayerTheme {
122                cursor: rgba(0xd07277ff).into(),
123                selection: rgba(0xd072773d).into(),
124            },
125            PlayerTheme {
126                cursor: rgba(0xdec184ff).into(),
127                selection: rgba(0xdec1843d).into(),
128            },
129        ],
130    }
131}