one_light.rs

  1use gpui2::rgba;
  2
  3use crate::{PlayerTheme, SyntaxTheme, Theme, ThemeMetadata};
  4
  5pub fn one_light() -> Theme {
  6    Theme {
  7        metadata: ThemeMetadata {
  8            name: "One 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(0xc9c9caff).into(),
 16        border_variant: rgba(0xc9c9caff).into(),
 17        border_focused: rgba(0xcbcdf6ff).into(),
 18        border_transparent: rgba(0x00000000).into(),
 19        elevated_surface: rgba(0xdcdcddff).into(),
 20        surface: rgba(0xebebecff).into(),
 21        background: rgba(0xdcdcddff).into(),
 22        filled_element: rgba(0xdcdcddff).into(),
 23        filled_element_hover: rgba(0xffffff1e).into(),
 24        filled_element_active: rgba(0xffffff28).into(),
 25        filled_element_selected: rgba(0xe2e2faff).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(0xe2e2faff).into(),
 31        ghost_element_disabled: rgba(0x00000000).into(),
 32        text: rgba(0x383a41ff).into(),
 33        text_muted: rgba(0x7e8087ff).into(),
 34        text_placeholder: rgba(0xd36151ff).into(),
 35        text_disabled: rgba(0xa1a1a3ff).into(),
 36        text_accent: rgba(0x5c78e2ff).into(),
 37        icon_muted: rgba(0x7e8087ff).into(),
 38        syntax: SyntaxTheme {
 39            highlights: vec![
 40                ("string.special.symbol".into(), rgba(0xad6e26ff).into()),
 41                ("hint".into(), rgba(0x9294beff).into()),
 42                ("link_uri".into(), rgba(0x3882b7ff).into()),
 43                ("type".into(), rgba(0x3882b7ff).into()),
 44                ("string.regex".into(), rgba(0xad6e26ff).into()),
 45                ("constant".into(), rgba(0x669f59ff).into()),
 46                ("function".into(), rgba(0x5b79e3ff).into()),
 47                ("string.special".into(), rgba(0xad6e26ff).into()),
 48                ("punctuation.bracket".into(), rgba(0x4d4f52ff).into()),
 49                ("variable".into(), rgba(0x383a41ff).into()),
 50                ("punctuation".into(), rgba(0x383a41ff).into()),
 51                ("property".into(), rgba(0xd3604fff).into()),
 52                ("string".into(), rgba(0x649f57ff).into()),
 53                ("predictive".into(), rgba(0x9b9ec6ff).into()),
 54                ("attribute".into(), rgba(0x5c78e2ff).into()),
 55                ("number".into(), rgba(0xad6e25ff).into()),
 56                ("constructor".into(), rgba(0x5c78e2ff).into()),
 57                ("embedded".into(), rgba(0x383a41ff).into()),
 58                ("title".into(), rgba(0xd3604fff).into()),
 59                ("tag".into(), rgba(0x5c78e2ff).into()),
 60                ("boolean".into(), rgba(0xad6e25ff).into()),
 61                ("punctuation.list_marker".into(), rgba(0xd3604fff).into()),
 62                ("variant".into(), rgba(0x5b79e3ff).into()),
 63                ("emphasis".into(), rgba(0x5c78e2ff).into()),
 64                ("link_text".into(), rgba(0x5b79e3ff).into()),
 65                ("comment".into(), rgba(0xa2a3a7ff).into()),
 66                ("punctuation.special".into(), rgba(0xb92b46ff).into()),
 67                ("emphasis.strong".into(), rgba(0xad6e25ff).into()),
 68                ("primary".into(), rgba(0x383a41ff).into()),
 69                ("punctuation.delimiter".into(), rgba(0x4d4f52ff).into()),
 70                ("label".into(), rgba(0x5c78e2ff).into()),
 71                ("keyword".into(), rgba(0xa449abff).into()),
 72                ("string.escape".into(), rgba(0x7c7e86ff).into()),
 73                ("text.literal".into(), rgba(0x649f57ff).into()),
 74                ("variable.special".into(), rgba(0xad6e25ff).into()),
 75                ("comment.doc".into(), rgba(0x7c7e86ff).into()),
 76                ("enum".into(), rgba(0xd3604fff).into()),
 77                ("operator".into(), rgba(0x3882b7ff).into()),
 78                ("preproc".into(), rgba(0x383a41ff).into()),
 79            ],
 80        },
 81        status_bar: rgba(0xdcdcddff).into(),
 82        title_bar: rgba(0xdcdcddff).into(),
 83        toolbar: rgba(0xfafafaff).into(),
 84        tab_bar: rgba(0xebebecff).into(),
 85        editor: rgba(0xfafafaff).into(),
 86        editor_subheader: rgba(0xebebecff).into(),
 87        editor_active_line: rgba(0xebebecff).into(),
 88        terminal: rgba(0xfafafaff).into(),
 89        image_fallback_background: rgba(0xdcdcddff).into(),
 90        git_created: rgba(0x669f59ff).into(),
 91        git_modified: rgba(0x5c78e2ff).into(),
 92        git_deleted: rgba(0xd36151ff).into(),
 93        git_conflict: rgba(0xdec184ff).into(),
 94        git_ignored: rgba(0xa1a1a3ff).into(),
 95        git_renamed: rgba(0xdec184ff).into(),
 96        players: [
 97            PlayerTheme {
 98                cursor: rgba(0x5c78e2ff).into(),
 99                selection: rgba(0x5c78e23d).into(),
100            },
101            PlayerTheme {
102                cursor: rgba(0x669f59ff).into(),
103                selection: rgba(0x669f593d).into(),
104            },
105            PlayerTheme {
106                cursor: rgba(0x984ea5ff).into(),
107                selection: rgba(0x984ea53d).into(),
108            },
109            PlayerTheme {
110                cursor: rgba(0xad6e26ff).into(),
111                selection: rgba(0xad6e263d).into(),
112            },
113            PlayerTheme {
114                cursor: rgba(0xa349abff).into(),
115                selection: rgba(0xa349ab3d).into(),
116            },
117            PlayerTheme {
118                cursor: rgba(0x3a82b7ff).into(),
119                selection: rgba(0x3a82b73d).into(),
120            },
121            PlayerTheme {
122                cursor: rgba(0xd36151ff).into(),
123                selection: rgba(0xd361513d).into(),
124            },
125            PlayerTheme {
126                cursor: rgba(0xdec184ff).into(),
127                selection: rgba(0xdec1843d).into(),
128            },
129        ],
130    }
131}