MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

small fix from designer

Browse Source
This commit is contained in:
Sergey Malenkov
2017-11-03 15:56:13 +03:00
parent ccab16e038
commit 6c8cab4727
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/util/resources/misc/registry.properties
+1 -1
View File
@@ -186,7 +186,7 @@ win.editor.thumb.darcula.border.description=Allows to tune an experimental thumb
win.editor.thumb.darcula.fill.min=133
win.editor.thumb.darcula.fill.min.description=Allows to tune an experimental thumb color in the editor component.
win.editor.thumb.darcula.fill.max=143
win.editor.thumb.darcula.fill.max=150
win.editor.thumb.darcula.fill.max.description=Allows to tune an experimental thumb color in the editor component.
win.editor.thumb.darcula.alpha.base=128