We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 73a7dd3 commit e695c8fCopy full SHA for e695c8f
theme-editor.py
@@ -260,7 +260,7 @@ def on_zone_click(event):
260
"update automatically")
261
# Every time the theme file is modified: reload preview
262
while True:
263
- if os.path.getmtime(theme_file) > last_edit_time:
+ if os.path.exists(theme_file) and os.path.getmtime(theme_file) > last_edit_time:
264
logger.debug("The theme file has been updated, the preview window will refresh")
265
refresh_theme()
266
last_edit_time = os.path.getmtime(theme_file)
0 commit comments