solarized.rs

  1// This file was generated by the `theme_importer`.
  2// Be careful when modifying it by hand.
  3
  4use gpui::rgba;
  5
  6#[allow(unused)]
  7use crate::{
  8    Appearance, StatusColorsRefinement, ThemeColorsRefinement, UserFontStyle, UserFontWeight,
  9    UserHighlightStyle, UserSyntaxTheme, UserTheme, UserThemeFamily, UserThemeStylesRefinement,
 10};
 11
 12pub fn solarized() -> UserThemeFamily {
 13    UserThemeFamily {
 14        name: "Solarized".into(),
 15        author: "Ethan Schoonover (altercation)".into(),
 16        themes: vec![
 17            UserTheme {
 18                name: "Solarized Dark".into(),
 19                appearance: Appearance::Dark,
 20                styles: UserThemeStylesRefinement {
 21                    colors: ThemeColorsRefinement {
 22                        border: Some(rgba(0x003847ff).into()),
 23                        border_variant: Some(rgba(0x003847ff).into()),
 24                        border_focused: Some(rgba(0x2aa19899).into()),
 25                        border_selected: Some(rgba(0x003847ff).into()),
 26                        border_transparent: Some(rgba(0x003847ff).into()),
 27                        border_disabled: Some(rgba(0x003847ff).into()),
 28                        background: Some(rgba(0x002b36ff).into()),
 29                        element_background: Some(rgba(0x2aa19899).into()),
 30                        element_hover: Some(rgba(0x004454aa).into()),
 31                        element_selected: Some(rgba(0x005a6fff).into()),
 32                        drop_target_background: Some(rgba(0x00445488).into()),
 33                        ghost_element_hover: Some(rgba(0x004454aa).into()),
 34                        text: Some(rgba(0xbbbbbbff).into()),
 35                        tab_inactive_background: Some(rgba(0x004052ff).into()),
 36                        tab_active_background: Some(rgba(0x002b37ff).into()),
 37                        editor_background: Some(rgba(0x002b36ff).into()),
 38                        editor_gutter_background: Some(rgba(0x002b36ff).into()),
 39                        editor_line_number: Some(rgba(0x566c74ff).into()),
 40                        terminal_ansi_bright_black: Some(rgba(0x586e75ff).into()),
 41                        terminal_ansi_bright_red: Some(rgba(0xcb4b16ff).into()),
 42                        terminal_ansi_bright_green: Some(rgba(0x859900ff).into()),
 43                        terminal_ansi_bright_yellow: Some(rgba(0x657b83ff).into()),
 44                        terminal_ansi_bright_blue: Some(rgba(0x839496ff).into()),
 45                        terminal_ansi_bright_magenta: Some(rgba(0x6c71c4ff).into()),
 46                        terminal_ansi_bright_cyan: Some(rgba(0x93a1a1ff).into()),
 47                        terminal_ansi_bright_white: Some(rgba(0x839496ff).into()),
 48                        terminal_ansi_black: Some(rgba(0x073642ff).into()),
 49                        terminal_ansi_red: Some(rgba(0xdc322fff).into()),
 50                        terminal_ansi_green: Some(rgba(0x859900ff).into()),
 51                        terminal_ansi_yellow: Some(rgba(0xb58900ff).into()),
 52                        terminal_ansi_blue: Some(rgba(0x268bd2ff).into()),
 53                        terminal_ansi_magenta: Some(rgba(0xd33682ff).into()),
 54                        terminal_ansi_cyan: Some(rgba(0x2aa198ff).into()),
 55                        terminal_ansi_white: Some(rgba(0x839496ff).into()),
 56                        ..Default::default()
 57                    },
 58                    status: StatusColorsRefinement {
 59                        deleted: Some(rgba(0xffeaeaff).into()),
 60                        error: Some(rgba(0xffeaeaff).into()),
 61                        hidden: Some(rgba(0x93a1a1ff).into()),
 62                        hint: Some(rgba(0x969696ff).into()),
 63                        ..Default::default()
 64                    },
 65                    syntax: Some(UserSyntaxTheme {
 66                        highlights: vec![
 67                            (
 68                                "attribute".into(),
 69                                UserHighlightStyle {
 70                                    color: Some(rgba(0x93a1a1ff).into()),
 71                                    ..Default::default()
 72                                },
 73                            ),
 74                            (
 75                                "boolean".into(),
 76                                UserHighlightStyle {
 77                                    color: Some(rgba(0xb58900ff).into()),
 78                                    ..Default::default()
 79                                },
 80                            ),
 81                            (
 82                                "comment".into(),
 83                                UserHighlightStyle {
 84                                    color: Some(rgba(0x657b83ff).into()),
 85                                    font_style: Some(UserFontStyle::Italic),
 86                                    ..Default::default()
 87                                },
 88                            ),
 89                            (
 90                                "constant".into(),
 91                                UserHighlightStyle {
 92                                    color: Some(rgba(0xcb4b16ff).into()),
 93                                    ..Default::default()
 94                                },
 95                            ),
 96                            (
 97                                "embedded".into(),
 98                                UserHighlightStyle {
 99                                    color: Some(rgba(0x93a1a1ff).into()),
100                                    ..Default::default()
101                                },
102                            ),
103                            (
104                                "emphasis".into(),
105                                UserHighlightStyle {
106                                    color: Some(rgba(0xd33682ff).into()),
107                                    ..Default::default()
108                                },
109                            ),
110                            (
111                                "emphasis.strong".into(),
112                                UserHighlightStyle {
113                                    color: Some(rgba(0xd33682ff).into()),
114                                    ..Default::default()
115                                },
116                            ),
117                            (
118                                "function".into(),
119                                UserHighlightStyle {
120                                    color: Some(rgba(0x268bd2ff).into()),
121                                    ..Default::default()
122                                },
123                            ),
124                            (
125                                "keyword".into(),
126                                UserHighlightStyle {
127                                    color: Some(rgba(0x859900ff).into()),
128                                    ..Default::default()
129                                },
130                            ),
131                            (
132                                "number".into(),
133                                UserHighlightStyle {
134                                    color: Some(rgba(0xd33682ff).into()),
135                                    ..Default::default()
136                                },
137                            ),
138                            (
139                                "property".into(),
140                                UserHighlightStyle {
141                                    color: Some(rgba(0x839496ff).into()),
142                                    ..Default::default()
143                                },
144                            ),
145                            (
146                                "punctuation".into(),
147                                UserHighlightStyle {
148                                    color: Some(rgba(0x657b83ff).into()),
149                                    ..Default::default()
150                                },
151                            ),
152                            (
153                                "string".into(),
154                                UserHighlightStyle {
155                                    color: Some(rgba(0x2aa198ff).into()),
156                                    ..Default::default()
157                                },
158                            ),
159                            (
160                                "string.escape".into(),
161                                UserHighlightStyle {
162                                    color: Some(rgba(0xcb4b16ff).into()),
163                                    ..Default::default()
164                                },
165                            ),
166                            (
167                                "tag".into(),
168                                UserHighlightStyle {
169                                    color: Some(rgba(0x268bd2ff).into()),
170                                    ..Default::default()
171                                },
172                            ),
173                            (
174                                "text.literal".into(),
175                                UserHighlightStyle {
176                                    color: Some(rgba(0x2aa198ff).into()),
177                                    ..Default::default()
178                                },
179                            ),
180                            (
181                                "type".into(),
182                                UserHighlightStyle {
183                                    color: Some(rgba(0xcb4b16ff).into()),
184                                    ..Default::default()
185                                },
186                            ),
187                            (
188                                "variable".into(),
189                                UserHighlightStyle {
190                                    color: Some(rgba(0x268bd2ff).into()),
191                                    ..Default::default()
192                                },
193                            ),
194                            (
195                                "variable.special".into(),
196                                UserHighlightStyle {
197                                    color: Some(rgba(0x268bd2ff).into()),
198                                    ..Default::default()
199                                },
200                            ),
201                        ],
202                    }),
203                },
204            },
205            UserTheme {
206                name: "Solarized Light".into(),
207                appearance: Appearance::Light,
208                styles: UserThemeStylesRefinement {
209                    colors: ThemeColorsRefinement {
210                        border: Some(rgba(0xddd6c1ff).into()),
211                        border_variant: Some(rgba(0xddd6c1ff).into()),
212                        border_focused: Some(rgba(0xd3af86ff).into()),
213                        border_selected: Some(rgba(0xddd6c1ff).into()),
214                        border_transparent: Some(rgba(0xddd6c1ff).into()),
215                        border_disabled: Some(rgba(0xddd6c1ff).into()),
216                        background: Some(rgba(0xfdf6e3ff).into()),
217                        element_background: Some(rgba(0xac9d57ff).into()),
218                        element_hover: Some(rgba(0xdfca8844).into()),
219                        element_selected: Some(rgba(0xdfca88ff).into()),
220                        ghost_element_hover: Some(rgba(0xdfca8844).into()),
221                        text: Some(rgba(0x333333ff).into()),
222                        tab_inactive_background: Some(rgba(0xd3cbb7ff).into()),
223                        tab_active_background: Some(rgba(0xfdf6e3ff).into()),
224                        editor_background: Some(rgba(0xfdf6e3ff).into()),
225                        editor_gutter_background: Some(rgba(0xfdf6e3ff).into()),
226                        editor_line_number: Some(rgba(0x9ca8a6ff).into()),
227                        terminal_ansi_bright_black: Some(rgba(0x657b83ff).into()),
228                        terminal_ansi_bright_red: Some(rgba(0xcb4b16ff).into()),
229                        terminal_ansi_bright_green: Some(rgba(0x859900ff).into()),
230                        terminal_ansi_bright_yellow: Some(rgba(0x657b83ff).into()),
231                        terminal_ansi_bright_blue: Some(rgba(0x839496ff).into()),
232                        terminal_ansi_bright_magenta: Some(rgba(0x6c71c4ff).into()),
233                        terminal_ansi_bright_cyan: Some(rgba(0x93a1a1ff).into()),
234                        terminal_ansi_bright_white: Some(rgba(0xeee8d5ff).into()),
235                        terminal_ansi_black: Some(rgba(0x657b83ff).into()),
236                        terminal_ansi_red: Some(rgba(0xdc322fff).into()),
237                        terminal_ansi_green: Some(rgba(0x859900ff).into()),
238                        terminal_ansi_yellow: Some(rgba(0xb58900ff).into()),
239                        terminal_ansi_blue: Some(rgba(0x268bd2ff).into()),
240                        terminal_ansi_magenta: Some(rgba(0xd33682ff).into()),
241                        terminal_ansi_cyan: Some(rgba(0x2aa198ff).into()),
242                        terminal_ansi_white: Some(rgba(0xeee8d5ff).into()),
243                        ..Default::default()
244                    },
245                    status: StatusColorsRefinement {
246                        hidden: Some(rgba(0x586e75ff).into()),
247                        hint: Some(rgba(0x969696ff).into()),
248                        ..Default::default()
249                    },
250                    syntax: Some(UserSyntaxTheme {
251                        highlights: vec![
252                            (
253                                "attribute".into(),
254                                UserHighlightStyle {
255                                    color: Some(rgba(0x93a1a1ff).into()),
256                                    ..Default::default()
257                                },
258                            ),
259                            (
260                                "boolean".into(),
261                                UserHighlightStyle {
262                                    color: Some(rgba(0xb58900ff).into()),
263                                    ..Default::default()
264                                },
265                            ),
266                            (
267                                "comment".into(),
268                                UserHighlightStyle {
269                                    color: Some(rgba(0x93a1a1ff).into()),
270                                    font_style: Some(UserFontStyle::Italic),
271                                    ..Default::default()
272                                },
273                            ),
274                            (
275                                "constant".into(),
276                                UserHighlightStyle {
277                                    color: Some(rgba(0xcb4b16ff).into()),
278                                    ..Default::default()
279                                },
280                            ),
281                            (
282                                "embedded".into(),
283                                UserHighlightStyle {
284                                    color: Some(rgba(0x657b83ff).into()),
285                                    ..Default::default()
286                                },
287                            ),
288                            (
289                                "emphasis".into(),
290                                UserHighlightStyle {
291                                    color: Some(rgba(0xd33682ff).into()),
292                                    ..Default::default()
293                                },
294                            ),
295                            (
296                                "emphasis.strong".into(),
297                                UserHighlightStyle {
298                                    color: Some(rgba(0xd33682ff).into()),
299                                    ..Default::default()
300                                },
301                            ),
302                            (
303                                "function".into(),
304                                UserHighlightStyle {
305                                    color: Some(rgba(0x268bd2ff).into()),
306                                    ..Default::default()
307                                },
308                            ),
309                            (
310                                "keyword".into(),
311                                UserHighlightStyle {
312                                    color: Some(rgba(0x859900ff).into()),
313                                    ..Default::default()
314                                },
315                            ),
316                            (
317                                "number".into(),
318                                UserHighlightStyle {
319                                    color: Some(rgba(0xd33682ff).into()),
320                                    ..Default::default()
321                                },
322                            ),
323                            (
324                                "punctuation.bracket".into(),
325                                UserHighlightStyle {
326                                    color: Some(rgba(0x93a1a1ff).into()),
327                                    ..Default::default()
328                                },
329                            ),
330                            (
331                                "string".into(),
332                                UserHighlightStyle {
333                                    color: Some(rgba(0x2aa198ff).into()),
334                                    ..Default::default()
335                                },
336                            ),
337                            (
338                                "string.escape".into(),
339                                UserHighlightStyle {
340                                    color: Some(rgba(0xcb4b16ff).into()),
341                                    ..Default::default()
342                                },
343                            ),
344                            (
345                                "tag".into(),
346                                UserHighlightStyle {
347                                    color: Some(rgba(0x268bd2ff).into()),
348                                    ..Default::default()
349                                },
350                            ),
351                            (
352                                "text.literal".into(),
353                                UserHighlightStyle {
354                                    color: Some(rgba(0x2aa198ff).into()),
355                                    ..Default::default()
356                                },
357                            ),
358                            (
359                                "type".into(),
360                                UserHighlightStyle {
361                                    color: Some(rgba(0x268bd2ff).into()),
362                                    ..Default::default()
363                                },
364                            ),
365                            (
366                                "variable".into(),
367                                UserHighlightStyle {
368                                    color: Some(rgba(0x268bd2ff).into()),
369                                    ..Default::default()
370                                },
371                            ),
372                            (
373                                "variable.special".into(),
374                                UserHighlightStyle {
375                                    color: Some(rgba(0x268bd2ff).into()),
376                                    ..Default::default()
377                                },
378                            ),
379                        ],
380                    }),
381                },
382            },
383        ],
384    }
385}