summercamp.rs

  1use gpui2::rgba;
  2
  3use crate::{PlayerTheme, SyntaxTheme, Theme, ThemeMetadata};
  4
  5pub fn summercamp() -> Theme {
  6    Theme {
  7        metadata: ThemeMetadata {
  8            name: "Summercamp".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(0x302c21ff).into(),
 16        border_variant: rgba(0x302c21ff).into(),
 17        border_focused: rgba(0x193760ff).into(),
 18        border_transparent: rgba(0x00000000).into(),
 19        elevated_surface: rgba(0x2a261cff).into(),
 20        surface: rgba(0x231f16ff).into(),
 21        background: rgba(0x2a261cff).into(),
 22        filled_element: rgba(0x2a261cff).into(),
 23        filled_element_hover: rgba(0xffffff1e).into(),
 24        filled_element_active: rgba(0xffffff28).into(),
 25        filled_element_selected: rgba(0x0e2242ff).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(0x0e2242ff).into(),
 31        ghost_element_disabled: rgba(0x00000000).into(),
 32        text: rgba(0xf8f5deff).into(),
 33        text_muted: rgba(0x736e55ff).into(),
 34        text_placeholder: rgba(0xe35041ff).into(),
 35        text_disabled: rgba(0x4c4735ff).into(),
 36        text_accent: rgba(0x499befff).into(),
 37        icon_muted: rgba(0x736e55ff).into(),
 38        syntax: SyntaxTheme {
 39            highlights: vec![
 40                ("predictive".into(), rgba(0x78434aff).into()),
 41                ("title".into(), rgba(0xf8f5deff).into()),
 42                ("primary".into(), rgba(0xf8f5deff).into()),
 43                ("punctuation.special".into(), rgba(0xbfbb9bff).into()),
 44                ("constant".into(), rgba(0x5dea5aff).into()),
 45                ("string.regex".into(), rgba(0xfaa11cff).into()),
 46                ("tag".into(), rgba(0x499befff).into()),
 47                ("preproc".into(), rgba(0xf8f5deff).into()),
 48                ("comment".into(), rgba(0x777159ff).into()),
 49                ("punctuation.bracket".into(), rgba(0xbfbb9bff).into()),
 50                ("constructor".into(), rgba(0x499befff).into()),
 51                ("type".into(), rgba(0x5aeabbff).into()),
 52                ("variable".into(), rgba(0xf8f5deff).into()),
 53                ("operator".into(), rgba(0xfaa11cff).into()),
 54                ("boolean".into(), rgba(0x5dea5aff).into()),
 55                ("attribute".into(), rgba(0x499befff).into()),
 56                ("link_text".into(), rgba(0xfaa11cff).into()),
 57                ("string.escape".into(), rgba(0x777159ff).into()),
 58                ("string.special".into(), rgba(0xfaa11cff).into()),
 59                ("string.special.symbol".into(), rgba(0xfaa11cff).into()),
 60                ("hint".into(), rgba(0x246e61ff).into()),
 61                ("link_uri".into(), rgba(0x5dea5aff).into()),
 62                ("comment.doc".into(), rgba(0x777159ff).into()),
 63                ("emphasis".into(), rgba(0x499befff).into()),
 64                ("punctuation".into(), rgba(0xbfbb9bff).into()),
 65                ("text.literal".into(), rgba(0xfaa11cff).into()),
 66                ("number".into(), rgba(0x5dea5aff).into()),
 67                ("punctuation.delimiter".into(), rgba(0xbfbb9bff).into()),
 68                ("label".into(), rgba(0x499befff).into()),
 69                ("function".into(), rgba(0xf1fe28ff).into()),
 70                ("property".into(), rgba(0x499befff).into()),
 71                ("keyword".into(), rgba(0x499befff).into()),
 72                ("embedded".into(), rgba(0xf8f5deff).into()),
 73                ("string".into(), rgba(0xfaa11cff).into()),
 74                ("punctuation.list_marker".into(), rgba(0xbfbb9bff).into()),
 75                ("enum".into(), rgba(0xfaa11cff).into()),
 76                ("emphasis.strong".into(), rgba(0x499befff).into()),
 77                ("variant".into(), rgba(0x499befff).into()),
 78            ],
 79        },
 80        status_bar: rgba(0x2a261cff).into(),
 81        title_bar: rgba(0x2a261cff).into(),
 82        toolbar: rgba(0x1b1810ff).into(),
 83        tab_bar: rgba(0x231f16ff).into(),
 84        editor: rgba(0x1b1810ff).into(),
 85        editor_subheader: rgba(0x231f16ff).into(),
 86        editor_active_line: rgba(0x231f16ff).into(),
 87        terminal: rgba(0x1b1810ff).into(),
 88        image_fallback_background: rgba(0x2a261cff).into(),
 89        git_created: rgba(0x5dea5aff).into(),
 90        git_modified: rgba(0x499befff).into(),
 91        git_deleted: rgba(0xe35041ff).into(),
 92        git_conflict: rgba(0xf1fe28ff).into(),
 93        git_ignored: rgba(0x4c4735ff).into(),
 94        git_renamed: rgba(0xf1fe28ff).into(),
 95        players: [
 96            PlayerTheme {
 97                cursor: rgba(0x499befff).into(),
 98                selection: rgba(0x499bef3d).into(),
 99            },
100            PlayerTheme {
101                cursor: rgba(0x5dea5aff).into(),
102                selection: rgba(0x5dea5a3d).into(),
103            },
104            PlayerTheme {
105                cursor: rgba(0xf59be6ff).into(),
106                selection: rgba(0xf59be63d).into(),
107            },
108            PlayerTheme {
109                cursor: rgba(0xfaa11cff).into(),
110                selection: rgba(0xfaa11c3d).into(),
111            },
112            PlayerTheme {
113                cursor: rgba(0xfe8080ff).into(),
114                selection: rgba(0xfe80803d).into(),
115            },
116            PlayerTheme {
117                cursor: rgba(0x5aeabbff).into(),
118                selection: rgba(0x5aeabb3d).into(),
119            },
120            PlayerTheme {
121                cursor: rgba(0xe35041ff).into(),
122                selection: rgba(0xe350413d).into(),
123            },
124            PlayerTheme {
125                cursor: rgba(0xf1fe28ff).into(),
126                selection: rgba(0xf1fe283d).into(),
127            },
128        ],
129    }
130}