mirror/mpdevil
1
0
Fork 0
mirror of https://github.com/SoongNoonien/mpdevil.git synced 2023-08-10 21:12:44 +03:00
Code Issues Projects Releases Wiki Activity

fixed default mini player size

Browse Source
This commit is contained in:
Martin Wagner 2022-04-21 17:24:06 +02:00
parent 67c914002d
commit df3f996f71
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
data/org.mpdevil.mpdevil.gschema.xml
View File

@ -17,11 +17,11 @@
<summary>Default height of window</summary> <summary>Default height of window</summary>
</key> </key>
<key type="i" name="mini-player-width"> <key type="i" name="mini-player-width">
<default>300</default> <default>400</default>
<summary>Default width of mini player</summary> <summary>Default width of mini player</summary>
</key> </key>
<key type="i" name="mini-player-height"> <key type="i" name="mini-player-height">
<default>300</default> <default>447</default>
<summary>Default height of mini player</summary> <summary>Default height of mini player</summary>
</key> </key>
<key type="i" name="paned0"> <key type="i" name="paned0">