From 3cb130dfe4fc51f41b81c50b113b2921bfcd6b10 Mon Sep 17 00:00:00 2001 From: Sergey Malenkov Date: Mon, 28 Oct 2019 16:33:09 +0300 Subject: [PATCH] IDEA-178054: update after designer's review (IDEA-CR-54237) GitOrigin-RevId: 6a9188f65e9a011fbc1b492c5748b8bb3119502c --- .../com/intellij/ide/ui/AppearancePanel.form | 57 +++++++------------ .../src/messages/IdeBundle.properties | 2 +- 2 files changed, 22 insertions(+), 37 deletions(-) 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: