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