correctly save/restore window state

fix #15

Author: vixalien

data/com.vixalien.decibels.gschema.xml.in

@@ -1,10 +1,17 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <schemalist>
 	<schema id="@app-id@" path="/com/vixalien/decibels/" gettext-domain="@gettext-package@">
-		<key name="last-window-size" type="(ii)">
-			<default>(-1,-1)</default>
-			<summary>Last width &amp; height of window</summary>
-			<description>The saved last size of the window (to be restored)</description>
-		</key>
+		<key name="width" type="i">
+      <default>640</default>
+    </key>
+    <key name="height" type="i">
+      <default>480</default>
+    </key>
+    <key name="is-maximized" type="b">
+      <default>false</default>
+    </key>
+    <key name="is-fullscreen" type="b">
+      <default>false</default>
+    </key>
 	</schema>
 </schemalist>

po/decibels.pot

@@ -8,7 +8,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: decibels\n"
 "Report-Msgid-Bugs-To: \n"
-"POT-Creation-Date: 2023-09-24 14:06+0200\n"
+"POT-Creation-Date: 2023-10-03 17:20+0200\n"
 "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
 "Last-Translator: FULL NAME <EMAIL@ADDRESS>\n"
 "Language-Team: LANGUAGE <[email protected]>\n"
@@ -53,37 +53,75 @@ msgid "Easy seek controls"
 msgstr ""
 
 #: data/com.vixalien.decibels.metainfo.xml.in.in:34
-msgid "A few bug fixes that polishes up the app"
+msgid "A few improvements and papercut fixes"
 msgstr ""
 
 #: data/com.vixalien.decibels.metainfo.xml.in.in:36
-msgid ""
-"Differentiate development versions of the app from the stable app by styling "
-"the icon and header differently"
+msgid "Support drag and drop"
 msgstr ""
 
 #: data/com.vixalien.decibels.metainfo.xml.in.in:37
-msgid "Added donation link in application metadata"
+msgid "Seek to the start of a track after it ends"
 msgstr ""
 
 #: data/com.vixalien.decibels.metainfo.xml.in.in:38
-msgid "Fix the About Window being detached from main window"
+msgid "Allow dragging the app window from everywhere (except the waveform)"
 msgstr ""
 
 #: data/com.vixalien.decibels.metainfo.xml.in.in:39
-msgid "Fix the About Window showing release notes for an older version"
+msgid ""
+"Made the playback speed popover look less cluttered by removing the +/- "
+"buttons and mark labels"
 msgstr ""
 
-#: data/com.vixalien.decibels.metainfo.xml.in.in:46
-msgid "Initial Release"
+#: data/com.vixalien.decibels.metainfo.xml.in.in:40
+msgid ""
+"Fix an issue that prevented accessing file metadata from within the Flatpak "
+"sandbox"
 msgstr ""
 
-#: data/com.vixalien.decibels.gschema.xml.in:6
-msgid "Last width & height of window"
+#: data/com.vixalien.decibels.metainfo.xml.in.in:41
+msgid ""
+"Don't try to play files without audio streams (images and videos without "
+"sound)"
 msgstr ""
 
-#: data/com.vixalien.decibels.gschema.xml.in:7
-msgid "The saved last size of the window (to be restored)"
+#: data/com.vixalien.decibels.metainfo.xml.in.in:42
+msgid "Don't try to process video streams even if they were not rendered"
+msgstr ""
+
+#: data/com.vixalien.decibels.metainfo.xml.in.in:43
+msgid "Fixed some issues with the Development build of Decibels"
+msgstr ""
+
+#: data/com.vixalien.decibels.metainfo.xml.in.in:44
+msgid "Fixed a minor glitch with the app icon"
+msgstr ""
+
+#: data/com.vixalien.decibels.metainfo.xml.in.in:50
+msgid "A few bug fixes that polishes up the app"
+msgstr ""
+
+#: data/com.vixalien.decibels.metainfo.xml.in.in:52
+msgid ""
+"Differentiate development versions of the app from the stable app by styling "
+"the icon and header differently"
+msgstr ""
+
+#: data/com.vixalien.decibels.metainfo.xml.in.in:53
+msgid "Added donation link in application metadata"
+msgstr ""
+
+#: data/com.vixalien.decibels.metainfo.xml.in.in:54
+msgid "Fix the About Window being detached from main window"
+msgstr ""
+
+#: data/com.vixalien.decibels.metainfo.xml.in.in:55
+msgid "Fix the About Window showing release notes for an older version"
+msgstr ""
+
+#: data/com.vixalien.decibels.metainfo.xml.in.in:62
+msgid "Initial Release"
 msgstr ""
 
 #: data/empty.ui:13
@@ -94,7 +132,7 @@ msgstr ""
 msgid "_Open…"
 msgstr ""
 
-#: data/error.ui:13 src/window.ts:123 src/window.ts:165
+#: data/error.ui:13 src/window.ts:155 src/window.ts:197
 msgid "File Cannot Be Played"
 msgstr ""
 
@@ -126,38 +164,38 @@ msgstr ""
 msgid "Unable to access dropped files"
 msgstr ""
 
-#: src/error.ts:57
+#: src/error.ts:42
 msgid "An unknown error happened"
 msgstr ""
 
-#: src/stream.ts:252
+#: src/stream.ts:259
 msgid ""
 "File uses a format that cannot be played. Additional media codecs may be "
 "required."
 msgstr ""
 
-#: src/stream.ts:262
+#: src/stream.ts:269
 msgid ""
 "An error happened while trying to get information about the file. Please try "
 "again."
 msgstr ""
 
-#: src/stream.ts:386
+#: src/stream.ts:393
 msgid "Unknown File"
 msgstr ""
 
-#: src/stream.ts:590
+#: src/stream.ts:619
 msgid "The selected file doesn't contain any audio"
 msgstr ""
 
-#: src/window.ts:129
+#: src/window.ts:161
 msgid "Audio files"
 msgstr ""
 
-#: src/window.ts:136
+#: src/window.ts:168
 msgid "Open File"
 msgstr ""
 
-#: src/window.ts:166
+#: src/window.ts:198
 msgid "The file could not be accessed"
 msgstr ""

src/window.ts

@@ -79,13 +79,31 @@ export class Window extends Adw.ApplicationWindow {
   constructor(params?: Partial<Adw.ApplicationWindow.ConstructorProperties>) {
     super(params);
 
-    const window_size = Settings.get_value("last-window-size");
-
-    const width = window_size.get_child_value(0).get_int32();
-    const height = window_size.get_child_value(1).get_int32();
-
-    if (width > 0) this.default_width = width;
-    if (height > 0) this.default_height = height;
+    // update the settings when the properties change and vice versa
+    Settings.bind(
+      "width",
+      this,
+      "default-width",
+      Gio.SettingsBindFlags.DEFAULT,
+    );
+    Settings.bind(
+      "height",
+      this,
+      "default-height",
+      Gio.SettingsBindFlags.DEFAULT,
+    );
+    Settings.bind(
+      "is-maximized",
+      this,
+      "maximized",
+      Gio.SettingsBindFlags.DEFAULT,
+    );
+    Settings.bind(
+      "is-fullscreen",
+      this,
+      "fullscreened",
+      Gio.SettingsBindFlags.DEFAULT,
+    );
 
     this.stream = new APMediaStream();
 
@@ -202,15 +220,4 @@ export class Window extends Adw.ApplicationWindow {
 
     this._error.show_error(title, error);
   }
-
-  vfunc_close_request() {
-    const window_size = GLib.Variant.new("(ii)", [
-      this.get_width(),
-      this.get_height(),
-    ]);
-
-    Settings.set_value("last-window-size", window_size);
-
-    return super.vfunc_close_request();
-  }
 }