2022-12-26 10:59:37 +01:00
|
|
|
# -*- conf -*-
|
2022-05-09 06:16:05 +02:00
|
|
|
# Monokai Pro
|
|
|
|
|
|
config: add [colors-dark] and [colors-light], replacing [colors] and [colors2]
The main reason for having two color sections is to be able to switch
between dark and light. Thus, it's better if the section names reflect
this, rather than the more generic 'colors' and 'colors2' (which was
the dark one and which was the light one, now again?)
When the second color section was added, we kept the original name,
colors, to make sure we didn't break existing configurations, and
third-party themes.
However, in the long run, it's probably better to be specific in the
section naming, to avoid confusion.
So, add 'colors-dark', and 'colors-light'. Keep 'colors' and 'colors2'
as aliases for now, but mark them as deprecated. They WILL be removed
in a future release.
Also rename the option values for initial-color-theme, from 1/2, to
dark/light. Keep the old ones for now, marked as deprecated.
Update all bundled themes to use the new names. In the light-only
themes (i.e. themes that define a single, light, theme), use
colors-light, and set initial-color-theme=light.
Possible improvements: disable color switching if only one color
section has been explicitly configured (todo: figure out how to handle
the default color theme values...)
2025-12-19 09:29:06 +01:00
|
|
|
[colors-dark]
|
2022-05-09 06:16:05 +02:00
|
|
|
background=2D2A2E
|
|
|
|
|
foreground=FCFCFA
|
|
|
|
|
regular0=403E41
|
|
|
|
|
regular1=FF6188
|
|
|
|
|
regular2=A9DC76
|
|
|
|
|
regular3=FFD866
|
|
|
|
|
regular4=FC9867
|
|
|
|
|
regular5=AB9DF2
|
|
|
|
|
regular6=78DCE8
|
|
|
|
|
regular7=FCFCFA
|
|
|
|
|
bright0=727072
|
|
|
|
|
bright1=FF6188
|
|
|
|
|
bright2=A9DC76
|
|
|
|
|
bright3=FFD866
|
|
|
|
|
bright4=FC9867
|
|
|
|
|
bright5=AB9DF2
|
|
|
|
|
bright6=78DCE8
|
|
|
|
|
bright7=FCFCFA
|
