restarting the app when changing the style to avoid GUI bugs

This commit is contained in:
Vinicius Moreira
2019-09-12 12:12:25 -03:00
parent 2485d064e0
commit 40a8d19584
10 changed files with 79 additions and 33 deletions

View File

@@ -109,4 +109,6 @@ proceed=proceed
change=change
exit=exit
manage_window.settings.gems=Application types
style=style
style=style
style.change.title=Style change
style.change.question=To change the current style is necessary to restart {}. Proceed ?