diff --git a/platform/platform-impl/src/com/intellij/ide/ui/AppearancePanel.form b/platform/platform-impl/src/com/intellij/ide/ui/AppearancePanel.form index d16dd175f666..8c4963301d0c 100644 --- a/platform/platform-impl/src/com/intellij/ide/ui/AppearancePanel.form +++ b/platform/platform-impl/src/com/intellij/ide/ui/AppearancePanel.form @@ -3,7 +3,7 @@ - + @@ -16,7 +16,7 @@ - + @@ -29,7 +29,7 @@ - + @@ -55,41 +55,26 @@ - - + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + - + @@ -99,7 +84,7 @@ - + @@ -125,7 +110,7 @@ - + diff --git a/platform/platform-resources-en/src/messages/IdeBundle.properties b/platform/platform-resources-en/src/messages/IdeBundle.properties index 4b2735200599..137c8b8982c5 100644 --- a/platform/platform-resources-en/src/messages/IdeBundle.properties +++ b/platform/platform-resources-en/src/messages/IdeBundle.properties @@ -727,7 +727,7 @@ label.transparency.delay.ms=Delay (ms): group.ui.options=UI Options checkbox.show.icons.in.quick.navigation=Show icons in quick navigation checkbox.show.tree.indent.guides=Show tree indent guides -checkbox.compact.tree.indents=Compact tree indents +checkbox.compact.tree.indents=Use compact tree indents checkbox.override.default.laf.fonts=Use custom font: label.override.laf.font=Font: label.font.name=Name: