mirror of
https://github.com/aclist/dztui.git
synced 2026-10-31 15:12:48 +01:00
chore: drop Gtk.main_quit call
This commit is contained in:
1 parent
7d651e9653
commit
1254044ef8
1 file changed
+8
-7
@@ -19,11 +19,6 @@ from dzgui.views.dialogs.generic import ExceptionDialog
|
|||||||
from dzgui.strings import dialogs
|
from dzgui.strings import dialogs
|
||||||
from dzgui.util._json import read_json, write_json
|
from dzgui.util._json import read_json, write_json
|
||||||
|
|
||||||
import gi
|
|
||||||
|
|
||||||
gi.require_version("Gtk", "3.0")
|
|
||||||
from gi.repository.Gtk import main_quit # noqa E402
|
|
||||||
|
|
||||||
if TYPE_CHECKING:
|
if TYPE_CHECKING:
|
||||||
from dzgui.config.userprefs import UserPrefs
|
from dzgui.config.userprefs import UserPrefs
|
||||||
from dzgui.controllers.mc import Controller
|
from dzgui.controllers.mc import Controller
|
||||||
@@ -206,7 +201,10 @@ class ConfigManager:
|
|||||||
|
|
||||||
logger.info("Normal user exit")
|
logger.info("Normal user exit")
|
||||||
if window.props.is_maximized:
|
if window.props.is_maximized:
|
||||||
main_quit()
|
app = window.get_application()
|
||||||
|
if app is None:
|
||||||
|
return
|
||||||
|
app.quit()
|
||||||
return
|
return
|
||||||
|
|
||||||
w, h = window.get_size()
|
w, h = window.get_size()
|
||||||
@@ -218,7 +216,10 @@ class ConfigManager:
|
|||||||
except Exception as e:
|
except Exception as e:
|
||||||
logger.critical(e)
|
logger.critical(e)
|
||||||
|
|
||||||
main_quit()
|
app = window.get_application()
|
||||||
|
if app is None:
|
||||||
|
return
|
||||||
|
app.quit()
|
||||||
|
|
||||||
def set_resolution(self, window: "OuterWindow") -> None:
|
def set_resolution(self, window: "OuterWindow") -> None:
|
||||||
if self.prefs.is_game_mode:
|
if self.prefs.is_game_mode:
|
||||||
|
|||||||
Reference in new issue
Block a user