- the font color of the Preferences tab will change to red if settings are not saved and it will revert to default when saved

- fixed issue #333. The Geometry Editor Paint tool was not working and using it resulted in an error
This commit is contained in:
Marius Stanciu
2019-11-06 23:32:21 +02:00
committed by Marius
parent 0fd2037edc
commit 8a8f571f0b
3 changed files with 20 additions and 7 deletions

View File

@@ -6709,8 +6709,15 @@ class App(QtCore.QObject):
def on_save_button(self):
log.debug("App.on_save_button() --> Saving preferences to file.")
# Preferences saved, update flag
self.preferences_changed_flag = False
# Preferences save, update the color of the Preferences Tab text
for idx in range(self.ui.plot_tab_area.count()):
if self.ui.plot_tab_area.tabText(idx) == _("Preferences"):
self.ui.plot_tab_area.tabBar.setTabTextColor(idx, QtGui.QColor('black'))
self.save_defaults(silent=False)
# load the defaults so they are updated into the app
self.load_defaults(filename='current_defaults')
@@ -7414,6 +7421,11 @@ class App(QtCore.QObject):
def on_preferences_edited(self):
self.inform.emit('[WARNING_NOTCL] %s' %
_("Preferences edited but not saved."))
for idx in range(self.ui.plot_tab_area.count()):
if self.ui.plot_tab_area.tabText(idx) == _("Preferences"):
self.ui.plot_tab_area.tabBar.setTabTextColor(idx, QtGui.QColor('red'))
self.preferences_changed_flag = True
def on_plot_area_tab_closed(self, title):