- Joined
- Aug 27, 2017
- Messages
- 110
Here are two themes I made for Ted (not completely finished yet):
https://www.dropbox.com/s/dls07sqzmwun56u/themes.zip?dl=0
@MikeHart: At the moment line numbers use the color of keywords. Is it possible to add an option so that the color of the line numbers can be changed individually? Also line numbers do not adapt to the font size set in the options.
https://www.dropbox.com/s/dls07sqzmwun56u/themes.zip?dl=0
@MikeHart: At the moment line numbers use the color of keywords. Is it possible to add an option so that the color of the line numbers can be changed individually? Also line numbers do not adapt to the font size set in the options.