from app.settings import Settings, SettingsException, IS_DARWIN # Init notify Notify.init("DemonEditor") # Setting mod mask for the keyboard depending on the platform. MOD_MASK = Gdk.ModifierType.MOD2_MASK if IS_DARWIN else Gdk.ModifierType.CONTROL_MASK # Path to *.glade files. UI_RESOURCES_PATH = "app/ui/" if os.path.exists( "app/ui/") else "/usr/share/demoneditor/app/ui/" IS_GNOME_SESSION = int(bool(os.environ.get("GNOME_DESKTOP_SESSION_ID"))) # Translation. TEXT_DOMAIN = "demon-editor" APP_FONT = None try: settings = Settings.get_instance() except SettingsException: pass else: os.environ["LANGUAGE"] = settings.language if UI_RESOURCES_PATH == "app/ui/": locale.bindtextdomain(TEXT_DOMAIN, UI_RESOURCES_PATH + "lang") st = Gtk.Settings().get_default() APP_FONT = st.get_property("gtk-font-name") if not settings.list_font: settings.list_font = APP_FONT if settings.is_themes_support: st.set_property("gtk-theme-name", settings.theme) st.set_property("gtk-icon-theme-name", settings.icon_theme)