settings ui - take 7
commit30b11f558209f0ca11073e30d10cd229a5d75960
authorKirill Kalishev <Kirill.Kalishev@jetbrains.com>
Tue, 30 Sep 2008 11:26:00 +0000 (30 15:26 +0400)
committerKirill Kalishev <Kirill.Kalishev@jetbrains.com>
Tue, 30 Sep 2008 11:26:00 +0000 (30 15:26 +0400)
tree8309edac692260de6dff64a2e09069c594654405
parent422117032a1b1e4130da4debe631f4004c96f220
settings ui - take 7
lang-impl/src/com/intellij/application/options/editor/EditorOptions.java
lang-impl/src/com/intellij/application/options/editor/EditorOptionsPanel.java
platform-api/src/com/intellij/openapi/ui/DetailsComponent.java
platform-api/src/com/intellij/ui/components/panels/Wrapper.java
platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java
platform-impl/src/com/intellij/openapi/options/newEditor/OptionsTree.java