final (figuring out IDEADEV-32827)
commit4a38c3ce89509320302b17fe890761f174fde0b5
authorDmitry Jemerov <yole@intellij.com>
Mon, 9 Feb 2009 18:18:12 +0000 (9 21:18 +0300)
committerDmitry Jemerov <yole@intellij.com>
Mon, 9 Feb 2009 18:18:12 +0000 (9 21:18 +0300)
tree2c2dd31421c14069c9d1cacb99b13746e9ae10b8
parent233ca38ee8afdab95b8e9d4b6d3546bbb3aa091f
final (figuring out IDEADEV-32827)
platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java
platform-impl/src/com/intellij/openapi/options/newEditor/OptionsTree.java