mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-05 16:35:33 +00:00
b751336c13
1. Copy help.keyman.com/developer/17.0/* into /developer/docs/help 2. Update references to 18.0 where appropriate 3. Copy all referenced images from /cdn/dev into /developer/docs/help/images and update links in documentation Next commit: add deployment to help-keyman-com.sh. Note: simplest way to test links at this point is to use the help.keyman.com auto deploy and wait for the PR on help.keyman.com to be validated; we could look at an internal link validation tool that verifies markdown links? Relates-to: #12347
2.1 KiB
2.1 KiB
| title |
|---|
| Custom Editor Themes |
Keyman Developer embeds the Monaco open source text editor. The
highlighting and styles for the text editor are customisable with a JSON
file configured in the Options dialog. The JSON
file must be a valid Monaco theme
(passed as second parameter to monaco.editor.defineTheme).
Example
{
"base": "vs-dark",
"inherit": true,
"rules": [
{ "token": "comment", "foreground": "ffa500", "background": "303030", "fontStyle": "italic underline" },
{ "token": "comment.js", "foreground": "008800", "fontStyle": "bold" },
{ "token": "comment.css", "foreground": "0000ff", "fontStyle": "bold", "inherit": false, "background": "808080" }
]
}
Keyman keyboard language tokens
The Keyman keyboard language highlighting uses the following token names:
| Token | Source Element |
|---|---|
| annotation | System store names |
| bracket | |
| comment | Comments |
| identifier | Store and Group names |
| invalid | Invalid code |
| keyword | Keywords such as begin, any |
| number | Decimal character codes, deprecated, e.g. d65 |
| number.hex | Unicode character codes, e.g. U+1234 |
| number.octal | Character codes expressed in octal |
| operator | +, > and other operators |
| string | Strings |
| string.invalid | Unterminated strings |
| string.quote | ' and " characters |
| tag | Virtual keys |
| white |