mirror of
https://github.com/morgan9e/warehouse
synced 2026-04-15 00:34:42 +09:00
Overhaul filters to use gschema (NOT FINISHED)
This commit is contained in:
@@ -14,4 +14,18 @@
|
||||
<default>false</default>
|
||||
</key>
|
||||
</schema>
|
||||
<schema id="io.github.flattool.Warehouse.filter" path="/io/github/flattool/Warehouse/filter/">
|
||||
<key name="show-apps" type="b">
|
||||
<default>true</default>
|
||||
</key>
|
||||
<key name="show-runtimes" type="b">
|
||||
<default>false</default>
|
||||
</key>
|
||||
<key name="ids-list" type="s">
|
||||
<default>""</default>
|
||||
</key>
|
||||
<key name="remotes-list" type="s">
|
||||
<default>""</default>
|
||||
</key>
|
||||
</schema>
|
||||
</schemalist>
|
||||
|
||||
Reference in New Issue
Block a user