diff --git a/data/re.sonny.Webground.gschema.xml b/data/re.sonny.Webground.gschema.xml index 0d8c40b..df4c6dc 100644 --- a/data/re.sonny.Webground.gschema.xml +++ b/data/re.sonny.Webground.gschema.xml @@ -14,7 +14,7 @@ true - false + true diff --git a/po/re.sonny.Webground.pot b/po/re.sonny.Webground.pot index 7cc5445..8210125 100644 --- a/po/re.sonny.Webground.pot +++ b/po/re.sonny.Webground.pot @@ -8,7 +8,7 @@ msgid "" msgstr "" "Project-Id-Version: re.sonny.Webground\n" "Report-Msgid-Bugs-To: \n" -"POT-Creation-Date: 2022-01-02 16:50+0100\n" +"POT-Creation-Date: 2022-01-04 00:47+0100\n" "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n" "Last-Translator: FULL NAME \n" "Language-Team: LANGUAGE \n" diff --git a/src/window.js b/src/window.js index a78c355..7b57bf4 100644 --- a/src/window.js +++ b/src/window.js @@ -1,7 +1,7 @@ import Gtk from "gi://Gtk"; // import Gdk from "gi://Gdk"; import GObject from "gi://GObject"; -// import Gio from "gi://Gio"; +import Gio from "gi://Gio"; import WebKit from "gi://WebKit2?version=5.0"; import Source from "gi://GtkSource?version=5"; @@ -10,10 +10,10 @@ import Shortcuts from "./Shortcuts.js"; import Devtools from "./Devtools.js"; import WebView from "./WebView.js"; -// const settings = new Gio.Settings({ -// schema_id: "re.sonny.Webground", -// path: "/re/sonny/Webground/", -// }); +const settings = new Gio.Settings({ + schema_id: "re.sonny.Webground", + path: "/re/sonny/Webground/", +}); export default function Welcome({ application }) { // Solves @@ -57,6 +57,12 @@ export default function Welcome({ application }) { const button_output = builder.get_object("button_output"); const button_devtools = builder.get_object("button_devtools"); + settings.bind('show-html', button_html, 'active', Gio.SettingsBindFlags.DEFAULT); + settings.bind('show-css', button_css, 'active', Gio.SettingsBindFlags.DEFAULT); + settings.bind('show-javascript', button_javascript, 'active', Gio.SettingsBindFlags.DEFAULT); + settings.bind('show-output', button_output, 'active', Gio.SettingsBindFlags.DEFAULT); + settings.bind('show-devtools', button_devtools, 'active', Gio.SettingsBindFlags.DEFAULT); + button_html.bind_property( "active", source_view_html.parent,