def get_profile_settings(self): profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList") if profiles: default_path = "/org/gnome/terminal/legacy/profiles:/:" + profiles.get_string("default") + "/" settings = Gio.Settings.new_with_path("org.gnome.Terminal.Legacy.Profile", default_path) else: settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal") return settings