| Author | DaveJarvis <email> |
|---|---|
| Date | 2021-07-03 18:49:40 GMT-0700 |
| Commit | f64a555185ec2872f274933a6866f7df59403eb3 |
| Parent | 63350d0 |
| Delta | 10 lines added, 0 lines removed, 10-line increase |
| workspace.ui.skin.custom.title=Path | ||
| +workspace.ui.preview=Preview | ||
| +workspace.ui.preview.stylesheet=Stylesheet | ||
| +workspace.ui.preview.stylesheet.desc=User-defined HTML cascading stylesheet file. | ||
| +workspace.ui.preview.stylesheet.title=Path | ||
| + | ||
| workspace.ui.font=Fonts | ||
| workspace.ui.font.editor=Editor Font |
| entry( KEY_UI_SKIN_CUSTOM, asFileProperty( SKIN_CUSTOM_DEFAULT ) ), | ||
| + entry( KEY_UI_PREVIEW_STYLESHEET, asFileProperty( PREVIEW_CUSTOM_DEFAULT ) ), | ||
| + | ||
| entry( KEY_LANGUAGE_LOCALE, asLocaleProperty( LOCALE_DEFAULT ) ), | ||
| public static final Key KEY_UI_SKIN_CUSTOM = key( KEY_UI_SKIN, "custom" ); | ||
| + public static final Key KEY_UI_PREVIEW = key( KEY_UI, "preview" ); | ||
| + public static final Key KEY_UI_PREVIEW_STYLESHEET = key( KEY_UI_PREVIEW, "stylesheet" ); | ||
| + | ||
| public static final Key KEY_LANGUAGE = key( KEY_ROOT, "language" ); | ||
| public static final Key KEY_LANGUAGE_LOCALE = key( KEY_LANGUAGE, "locale" ); |