Add theme export feature

This commit is contained in:
Ole Bertram 2018-06-28 01:08:06 +02:00
parent c07adb7121
commit 29f69de240
No known key found for this signature in database
GPG key ID: E1B751CB4B7F8D28
3 changed files with 21 additions and 0 deletions

View file

@ -288,6 +288,7 @@ const en = {
settings: 'Settings',
theme: 'Theme',
presets: 'Presets',
export_theme: 'Export current theme',
theme_help: 'Use hex color codes (#rrggbb) to customize your color theme.',
radii_help: 'Set up interface edge rounding (in pixels)',
background: 'Background',