andromeda.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 andromeda() -> UserThemeFamily {
 13    UserThemeFamily {
 14        name: "Andromeda".into(),
 15        author: "Eliver Lara (EliverLara)".into(),
 16        themes: vec![
 17            UserTheme {
 18                name: "Andromeda".into(),
 19                appearance: Appearance::Dark,
 20                styles: UserThemeStylesRefinement {
 21                    colors: ThemeColorsRefinement {
 22                        border: Some(rgba(0x1b1d23ff).into()),
 23                        border_variant: Some(rgba(0x1b1d23ff).into()),
 24                        border_focused: Some(rgba(0x746f77ff).into()),
 25                        border_selected: Some(rgba(0x1b1d23ff).into()),
 26                        border_transparent: Some(rgba(0x1b1d23ff).into()),
 27                        border_disabled: Some(rgba(0x1b1d23ff).into()),
 28                        elevated_surface_background: Some(rgba(0x2b303bff).into()),
 29                        surface_background: Some(rgba(0x23262eff).into()),
 30                        background: Some(rgba(0x23262eff).into()),
 31                        element_background: Some(rgba(0x00e8c5cc).into()),
 32                        element_hover: Some(rgba(0x23262eff).into()),
 33                        element_selected: Some(rgba(0x23262eff).into()),
 34                        drop_target_background: Some(rgba(0x3a404eff).into()),
 35                        ghost_element_hover: Some(rgba(0x23262eff).into()),
 36                        ghost_element_selected: Some(rgba(0x23262eff).into()),
 37                        text: Some(rgba(0xd5ced9ff).into()),
 38                        text_muted: Some(rgba(0x746f77ff).into()),
 39                        status_bar_background: Some(rgba(0x23262eff).into()),
 40                        title_bar_background: Some(rgba(0x23262eff).into()),
 41                        toolbar_background: Some(rgba(0x23262eff).into()),
 42                        tab_bar_background: Some(rgba(0x23262eff).into()),
 43                        tab_inactive_background: Some(rgba(0x23262eff).into()),
 44                        tab_active_background: Some(rgba(0x23262eff).into()),
 45                        scrollbar_thumb_background: Some(rgba(0x3a3f4c77).into()),
 46                        scrollbar_thumb_hover_background: Some(rgba(0x3a3f4caa).into()),
 47                        scrollbar_thumb_border: Some(rgba(0x3a3f4c77).into()),
 48                        scrollbar_track_background: Some(rgba(0x23262eff).into()),
 49                        scrollbar_track_border: Some(rgba(0x1b1d23ff).into()),
 50                        editor_foreground: Some(rgba(0xd5ced9ff).into()),
 51                        editor_background: Some(rgba(0x23262eff).into()),
 52                        editor_gutter_background: Some(rgba(0x23262eff).into()),
 53                        editor_line_number: Some(rgba(0x746f77ff).into()),
 54                        editor_active_line_number: Some(rgba(0xd5ced9ff).into()),
 55                        terminal_ansi_bright_red: Some(rgba(0xee5d43ff).into()),
 56                        terminal_ansi_bright_green: Some(rgba(0x96e072ff).into()),
 57                        terminal_ansi_bright_yellow: Some(rgba(0xffe66dff).into()),
 58                        terminal_ansi_bright_blue: Some(rgba(0x7cb7ffff).into()),
 59                        terminal_ansi_bright_magenta: Some(rgba(0xff00aaff).into()),
 60                        terminal_ansi_bright_cyan: Some(rgba(0x00e8c6ff).into()),
 61                        terminal_ansi_red: Some(rgba(0xee5d43ff).into()),
 62                        terminal_ansi_green: Some(rgba(0x96e072ff).into()),
 63                        terminal_ansi_yellow: Some(rgba(0xffe66dff).into()),
 64                        terminal_ansi_blue: Some(rgba(0x7cb7ffff).into()),
 65                        terminal_ansi_magenta: Some(rgba(0xff00aaff).into()),
 66                        terminal_ansi_cyan: Some(rgba(0x00e8c6ff).into()),
 67                        ..Default::default()
 68                    },
 69                    status: StatusColorsRefinement {
 70                        created: Some(rgba(0x9bc53dbb).into()),
 71                        deleted: Some(rgba(0xfc644dbb).into()),
 72                        error: Some(rgba(0xfc644dff).into()),
 73                        hidden: Some(rgba(0x746f77ff).into()),
 74                        hint: Some(rgba(0x969696ff).into()),
 75                        ignored: Some(rgba(0x555555ff).into()),
 76                        modified: Some(rgba(0x5bc0ebbb).into()),
 77                        ..Default::default()
 78                    },
 79                    syntax: Some(UserSyntaxTheme {
 80                        highlights: vec![
 81                            (
 82                                "attribute".into(),
 83                                UserHighlightStyle {
 84                                    color: Some(rgba(0xffe66dff).into()),
 85                                    ..Default::default()
 86                                },
 87                            ),
 88                            (
 89                                "comment".into(),
 90                                UserHighlightStyle {
 91                                    color: Some(rgba(0xa0a1a7cc).into()),
 92                                    ..Default::default()
 93                                },
 94                            ),
 95                            (
 96                                "comment.doc".into(),
 97                                UserHighlightStyle {
 98                                    color: Some(rgba(0xa0a1a7cc).into()),
 99                                    ..Default::default()
100                                },
101                            ),
102                            (
103                                "constant".into(),
104                                UserHighlightStyle {
105                                    color: Some(rgba(0xee5d43ff).into()),
106                                    ..Default::default()
107                                },
108                            ),
109                            (
110                                "constructor".into(),
111                                UserHighlightStyle {
112                                    color: Some(rgba(0xf92672ff).into()),
113                                    ..Default::default()
114                                },
115                            ),
116                            (
117                                "emphasis".into(),
118                                UserHighlightStyle {
119                                    color: Some(rgba(0xc74dedff).into()),
120                                    ..Default::default()
121                                },
122                            ),
123                            (
124                                "emphasis.strong".into(),
125                                UserHighlightStyle {
126                                    color: Some(rgba(0xf39c12ff).into()),
127                                    ..Default::default()
128                                },
129                            ),
130                            (
131                                "function".into(),
132                                UserHighlightStyle {
133                                    color: Some(rgba(0xffe66dff).into()),
134                                    ..Default::default()
135                                },
136                            ),
137                            (
138                                "keyword".into(),
139                                UserHighlightStyle {
140                                    color: Some(rgba(0xc74dedff).into()),
141                                    ..Default::default()
142                                },
143                            ),
144                            (
145                                "number".into(),
146                                UserHighlightStyle {
147                                    color: Some(rgba(0xf39c12ff).into()),
148                                    ..Default::default()
149                                },
150                            ),
151                            (
152                                "operator".into(),
153                                UserHighlightStyle {
154                                    color: Some(rgba(0xee5d43ff).into()),
155                                    ..Default::default()
156                                },
157                            ),
158                            (
159                                "string".into(),
160                                UserHighlightStyle {
161                                    color: Some(rgba(0x96e072ff).into()),
162                                    ..Default::default()
163                                },
164                            ),
165                            (
166                                "string.escape".into(),
167                                UserHighlightStyle {
168                                    color: Some(rgba(0x96e072ff).into()),
169                                    ..Default::default()
170                                },
171                            ),
172                            (
173                                "string.regex".into(),
174                                UserHighlightStyle {
175                                    color: Some(rgba(0x96e072ff).into()),
176                                    ..Default::default()
177                                },
178                            ),
179                            (
180                                "string.special".into(),
181                                UserHighlightStyle {
182                                    color: Some(rgba(0x96e072ff).into()),
183                                    ..Default::default()
184                                },
185                            ),
186                            (
187                                "string.special.symbol".into(),
188                                UserHighlightStyle {
189                                    color: Some(rgba(0x96e072ff).into()),
190                                    ..Default::default()
191                                },
192                            ),
193                            (
194                                "tag".into(),
195                                UserHighlightStyle {
196                                    color: Some(rgba(0xf92672ff).into()),
197                                    ..Default::default()
198                                },
199                            ),
200                            (
201                                "text.literal".into(),
202                                UserHighlightStyle {
203                                    color: Some(rgba(0x96e072ff).into()),
204                                    ..Default::default()
205                                },
206                            ),
207                            (
208                                "type".into(),
209                                UserHighlightStyle {
210                                    color: Some(rgba(0xffe66dff).into()),
211                                    ..Default::default()
212                                },
213                            ),
214                            (
215                                "variable".into(),
216                                UserHighlightStyle {
217                                    color: Some(rgba(0x00e8c6ff).into()),
218                                    ..Default::default()
219                                },
220                            ),
221                            (
222                                "variable.special".into(),
223                                UserHighlightStyle {
224                                    color: Some(rgba(0x00e8c6ff).into()),
225                                    ..Default::default()
226                                },
227                            ),
228                        ],
229                    }),
230                },
231            },
232            UserTheme {
233                name: "Andromeda Bordered".into(),
234                appearance: Appearance::Dark,
235                styles: UserThemeStylesRefinement {
236                    colors: ThemeColorsRefinement {
237                        border: Some(rgba(0x1b1d23ff).into()),
238                        border_variant: Some(rgba(0x1b1d23ff).into()),
239                        border_focused: Some(rgba(0x746f77ff).into()),
240                        border_selected: Some(rgba(0x1b1d23ff).into()),
241                        border_transparent: Some(rgba(0x1b1d23ff).into()),
242                        border_disabled: Some(rgba(0x1b1d23ff).into()),
243                        elevated_surface_background: Some(rgba(0x2b303bff).into()),
244                        surface_background: Some(rgba(0x23262eff).into()),
245                        background: Some(rgba(0x262a33ff).into()),
246                        element_background: Some(rgba(0x00e8c5cc).into()),
247                        element_hover: Some(rgba(0x23262eff).into()),
248                        element_selected: Some(rgba(0x23262eff).into()),
249                        drop_target_background: Some(rgba(0x3a404eff).into()),
250                        ghost_element_hover: Some(rgba(0x23262eff).into()),
251                        ghost_element_selected: Some(rgba(0x23262eff).into()),
252                        text: Some(rgba(0xd5ced9ff).into()),
253                        text_muted: Some(rgba(0x746f77ff).into()),
254                        status_bar_background: Some(rgba(0x23262eff).into()),
255                        title_bar_background: Some(rgba(0x23262eff).into()),
256                        toolbar_background: Some(rgba(0x262a33ff).into()),
257                        tab_bar_background: Some(rgba(0x23262eff).into()),
258                        tab_inactive_background: Some(rgba(0x23262eff).into()),
259                        tab_active_background: Some(rgba(0x262a33ff).into()),
260                        scrollbar_thumb_background: Some(rgba(0x3a3f4c77).into()),
261                        scrollbar_thumb_hover_background: Some(rgba(0x3a3f4caa).into()),
262                        scrollbar_thumb_border: Some(rgba(0x3a3f4c77).into()),
263                        scrollbar_track_background: Some(rgba(0x262a33ff).into()),
264                        scrollbar_track_border: Some(rgba(0x1b1d23ff).into()),
265                        editor_foreground: Some(rgba(0xd5ced9ff).into()),
266                        editor_background: Some(rgba(0x262a33ff).into()),
267                        editor_gutter_background: Some(rgba(0x262a33ff).into()),
268                        editor_line_number: Some(rgba(0x746f77ff).into()),
269                        editor_active_line_number: Some(rgba(0xd5ced9ff).into()),
270                        terminal_ansi_bright_red: Some(rgba(0xee5d43ff).into()),
271                        terminal_ansi_bright_green: Some(rgba(0x96e072ff).into()),
272                        terminal_ansi_bright_yellow: Some(rgba(0xffe66dff).into()),
273                        terminal_ansi_bright_blue: Some(rgba(0x7cb7ffff).into()),
274                        terminal_ansi_bright_magenta: Some(rgba(0xff00aaff).into()),
275                        terminal_ansi_bright_cyan: Some(rgba(0x00e8c6ff).into()),
276                        terminal_ansi_red: Some(rgba(0xee5d43ff).into()),
277                        terminal_ansi_green: Some(rgba(0x96e072ff).into()),
278                        terminal_ansi_yellow: Some(rgba(0xffe66dff).into()),
279                        terminal_ansi_blue: Some(rgba(0x7cb7ffff).into()),
280                        terminal_ansi_magenta: Some(rgba(0xff00aaff).into()),
281                        terminal_ansi_cyan: Some(rgba(0x00e8c6ff).into()),
282                        ..Default::default()
283                    },
284                    status: StatusColorsRefinement {
285                        created: Some(rgba(0x9bc53dbb).into()),
286                        deleted: Some(rgba(0xfc644dbb).into()),
287                        error: Some(rgba(0xfc644dff).into()),
288                        hidden: Some(rgba(0x746f77ff).into()),
289                        hint: Some(rgba(0x969696ff).into()),
290                        ignored: Some(rgba(0x555555ff).into()),
291                        modified: Some(rgba(0x5bc0ebbb).into()),
292                        ..Default::default()
293                    },
294                    syntax: Some(UserSyntaxTheme {
295                        highlights: vec![
296                            (
297                                "attribute".into(),
298                                UserHighlightStyle {
299                                    color: Some(rgba(0xffe66dff).into()),
300                                    ..Default::default()
301                                },
302                            ),
303                            (
304                                "comment".into(),
305                                UserHighlightStyle {
306                                    color: Some(rgba(0xa0a1a7cc).into()),
307                                    ..Default::default()
308                                },
309                            ),
310                            (
311                                "comment.doc".into(),
312                                UserHighlightStyle {
313                                    color: Some(rgba(0xa0a1a7cc).into()),
314                                    ..Default::default()
315                                },
316                            ),
317                            (
318                                "constant".into(),
319                                UserHighlightStyle {
320                                    color: Some(rgba(0xee5d43ff).into()),
321                                    ..Default::default()
322                                },
323                            ),
324                            (
325                                "constructor".into(),
326                                UserHighlightStyle {
327                                    color: Some(rgba(0xf92672ff).into()),
328                                    ..Default::default()
329                                },
330                            ),
331                            (
332                                "emphasis".into(),
333                                UserHighlightStyle {
334                                    color: Some(rgba(0xc74dedff).into()),
335                                    ..Default::default()
336                                },
337                            ),
338                            (
339                                "emphasis.strong".into(),
340                                UserHighlightStyle {
341                                    color: Some(rgba(0xf39c12ff).into()),
342                                    ..Default::default()
343                                },
344                            ),
345                            (
346                                "function".into(),
347                                UserHighlightStyle {
348                                    color: Some(rgba(0xffe66dff).into()),
349                                    ..Default::default()
350                                },
351                            ),
352                            (
353                                "keyword".into(),
354                                UserHighlightStyle {
355                                    color: Some(rgba(0xc74dedff).into()),
356                                    ..Default::default()
357                                },
358                            ),
359                            (
360                                "number".into(),
361                                UserHighlightStyle {
362                                    color: Some(rgba(0xf39c12ff).into()),
363                                    ..Default::default()
364                                },
365                            ),
366                            (
367                                "operator".into(),
368                                UserHighlightStyle {
369                                    color: Some(rgba(0xee5d43ff).into()),
370                                    ..Default::default()
371                                },
372                            ),
373                            (
374                                "string".into(),
375                                UserHighlightStyle {
376                                    color: Some(rgba(0x96e072ff).into()),
377                                    ..Default::default()
378                                },
379                            ),
380                            (
381                                "string.escape".into(),
382                                UserHighlightStyle {
383                                    color: Some(rgba(0x96e072ff).into()),
384                                    ..Default::default()
385                                },
386                            ),
387                            (
388                                "string.regex".into(),
389                                UserHighlightStyle {
390                                    color: Some(rgba(0x96e072ff).into()),
391                                    ..Default::default()
392                                },
393                            ),
394                            (
395                                "string.special".into(),
396                                UserHighlightStyle {
397                                    color: Some(rgba(0x96e072ff).into()),
398                                    ..Default::default()
399                                },
400                            ),
401                            (
402                                "string.special.symbol".into(),
403                                UserHighlightStyle {
404                                    color: Some(rgba(0x96e072ff).into()),
405                                    ..Default::default()
406                                },
407                            ),
408                            (
409                                "tag".into(),
410                                UserHighlightStyle {
411                                    color: Some(rgba(0xf92672ff).into()),
412                                    ..Default::default()
413                                },
414                            ),
415                            (
416                                "text.literal".into(),
417                                UserHighlightStyle {
418                                    color: Some(rgba(0x96e072ff).into()),
419                                    ..Default::default()
420                                },
421                            ),
422                            (
423                                "type".into(),
424                                UserHighlightStyle {
425                                    color: Some(rgba(0xffe66dff).into()),
426                                    ..Default::default()
427                                },
428                            ),
429                            (
430                                "variable".into(),
431                                UserHighlightStyle {
432                                    color: Some(rgba(0x00e8c6ff).into()),
433                                    ..Default::default()
434                                },
435                            ),
436                            (
437                                "variable.special".into(),
438                                UserHighlightStyle {
439                                    color: Some(rgba(0x00e8c6ff).into()),
440                                    ..Default::default()
441                                },
442                            ),
443                        ],
444                    }),
445                },
446            },
447        ],
448    }
449}