Closed iainh closed 2 years ago
Add a new property (theme_name) to the configuration file to contain the name of the theme. This replaces theme_id which contained the numeric index of the theme.
theme_name
theme_id
e.g.
theme_name = "base16-material"
versus
theme_id = 15
This pull request also contains the fix from #32
Add a new property (
theme_name) to the configuration file to contain the name of the theme. This replacestheme_idwhich contained the numeric index of the theme.e.g.
theme_name = "base16-material"versus
theme_id = 15This pull request also contains the fix from #32