The colors-{light,dark}.sh scripts completely wipe out any changes made to colors.ini when the color theme is changed. Ideally, we'd have a "custom" color theme in the list that basically copies a file names colors-custom.ini over colors.ini. This would allow users to effect changes to colors-custom.ini and keep them across color theme changes.
The
colors-{light,dark}.sh
scripts completely wipe out any changes made tocolors.ini
when the color theme is changed. Ideally, we'd have a "custom" color theme in the list that basically copies a file namescolors-custom.ini
overcolors.ini
. This would allow users to effect changes tocolors-custom.ini
and keep them across color theme changes.