Add reload CSS command #26
Description
The code to watch the file system and reload the current theme has been ripped out. For theme development it is useful to have a way to reload the theme CSS without restarting Extraterm.
{{ message }}
The code to watch the file system and reload the current theme has been ripped out. For theme development it is useful to have a way to reload the theme CSS without restarting Extraterm.