mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-09 02:15:32 +00:00
749112660d
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.
19 lines
643 B
XML
19 lines
643 B
XML
<schemalist>
|
|
<schema id="com.keyman.options" path="/desktop/ibus/keyman/options/">
|
|
<child name="keyboard-options" schema="com.keyman.options.child"/>
|
|
|
|
<key name="error-reporting" type="b">
|
|
<default>true</default>
|
|
<summary>Automatic error reporting</summary>
|
|
<description>true to enable automatic reporting of errors to Sentry</description>
|
|
</key>
|
|
</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>
|