Remove the real transparency change handler, it won't work while the window is realised, and unrealising it effectively destroys it, so this looks like the only setting that will actually hard-require a restart
This commit is contained in:
parent
68529502e7
commit
4f6d3d8ec7
|
@ -274,10 +274,6 @@ class ProfileEditor:
|
||||||
self.term.maximize()
|
self.term.maximize()
|
||||||
else:
|
else:
|
||||||
self.term.unmaximize()
|
self.term.unmaximize()
|
||||||
elif changer == "enable_real_transparency":
|
|
||||||
#self.term.enable_rgba(values[changer])
|
|
||||||
# FIXME: This breaks if the window is realised
|
|
||||||
pass
|
|
||||||
elif changer == "borderless":
|
elif changer == "borderless":
|
||||||
self.term.window.set_decorated (not values[changer])
|
self.term.window.set_decorated (not values[changer])
|
||||||
elif changer == "handle_size":
|
elif changer == "handle_size":
|
||||||
|
|
Loading…
Reference in New Issue