2022-12-09 15:01:14 +08:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
|
<schemalist>
|
|
|
|
|
<schema id="org.ukui.menu.settings" path="/">
|
|
|
|
|
<key type="i" name="animation-duration">
|
|
|
|
|
<default>300</default>
|
|
|
|
|
<summary>animation duration</summary>
|
|
|
|
|
<description>Control the duration of animation</description>
|
|
|
|
|
</key>
|
2022-12-23 11:08:16 +08:00
|
|
|
<key type="i" name="width">
|
2023-11-28 16:58:37 +08:00
|
|
|
<range min="680" max="900"/>
|
|
|
|
|
<default>842</default>
|
2022-12-23 11:08:16 +08:00
|
|
|
<summary>width of ukui-menu</summary>
|
|
|
|
|
<description>Control the width of the ukui-menu</description>
|
|
|
|
|
</key>
|
|
|
|
|
<key type="i" name="height">
|
2023-11-28 16:58:37 +08:00
|
|
|
<range min="580" max="700"/>
|
|
|
|
|
<default>688</default>
|
2022-12-23 11:08:16 +08:00
|
|
|
<summary>height of ukui-menu</summary>
|
|
|
|
|
<description>Control the height of the ukui-menu</description>
|
|
|
|
|
</key>
|
|
|
|
|
<key type="i" name="margin">
|
|
|
|
|
<range min="0" max="50"/>
|
|
|
|
|
<default>8</default>
|
|
|
|
|
<summary>margin of ukui-menu</summary>
|
|
|
|
|
<description>Control the margin of the ukui-menu</description>
|
|
|
|
|
</key>
|
|
|
|
|
<key type="b" name="follow-ukui-panel">
|
|
|
|
|
<default>true</default>
|
|
|
|
|
<summary>follow ukui-panel</summary>
|
|
|
|
|
<description>Control whether to follow the ukui-panel</description>
|
|
|
|
|
</key>
|
2022-12-09 15:01:14 +08:00
|
|
|
</schema>
|
|
|
|
|
</schemalist>
|
