mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-14 20:59:25 +00:00
fb8ef1fc40
Some of the configuration files are useful for other distributions
as well. So this change moves them out of `debian/` to
`linux/keyman-config` so that they will be included in the source
tar ball.
Also remove zero-width space from one file.
Closes #8880.
(cherry picked from commit 749112660d)
15 lines
416 B
XML
15 lines
416 B
XML
<schemalist>
|
|
<schema id="com.keyman.options" path="/desktop/ibus/keyman/options/">
|
|
|
|
<child name="keyboard-options" schema="com.keyman.options.child"/>
|
|
|
|
</schema>
|
|
|
|
<schema id="com.keyman.options.child">
|
|
<key name="options" type="as">
|
|
<default>[]</default>
|
|
<summary>keyboard options.htm settings</summary>
|
|
<description>List of strings</description>
|
|
</key>
|
|
</schema>
|
|
</schemalist>
|