Make the OK button in the preferences editor reconfigure all live terminals
This commit is contained in:
parent
295aeed2e2
commit
5ae299e6da
|
@ -9,6 +9,7 @@ import config
|
||||||
from keybindings import Keybindings, KeymapError
|
from keybindings import Keybindings, KeymapError
|
||||||
from version import APP_NAME, APP_VERSION
|
from version import APP_NAME, APP_VERSION
|
||||||
from translation import _
|
from translation import _
|
||||||
|
from newterminator import Terminator
|
||||||
|
|
||||||
# FIXME: We need to check that we have represented all of Config() below
|
# FIXME: We need to check that we have represented all of Config() below
|
||||||
class PrefsEditor:
|
class PrefsEditor:
|
||||||
|
@ -105,6 +106,8 @@ class PrefsEditor:
|
||||||
"""Save the config"""
|
"""Save the config"""
|
||||||
self.store_values()
|
self.store_values()
|
||||||
self.config.save()
|
self.config.save()
|
||||||
|
terminator = Terminator()
|
||||||
|
terminator.reconfigure_terminals()
|
||||||
self.window.destroy()
|
self.window.destroy()
|
||||||
del(self)
|
del(self)
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue