41b94ccf11
It's good practice to save and reload the window size and maximization state, and easy enough to implement, so let's do that. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3115>
18 lines
511 B
XML
18 lines
511 B
XML
<?<?xml version="1.0" encoding="UTF-8"?>
|
|
<schemalist>
|
|
<schema path="/org/gnome/Extensions/" id="org.gnome.Extensions">
|
|
<key name="window-width" type="i">
|
|
<default>800</default>
|
|
<summary>Window width</summary>
|
|
</key>
|
|
<key name="window-height" type="i">
|
|
<default>500</default>
|
|
<summary>Window height</summary>
|
|
</key>
|
|
<key name="window-maximized" type="b">
|
|
<default>false</default>
|
|
<summary>Window maximized</summary>
|
|
</key>
|
|
</schema>
|
|
</schemalist>
|