Settings tree: selecting & filtering fixes
commitb38ad9626d18303022d619fd578942ce0604718f
authorKirill Kalishev <kirill.kalishev@jetbrains.com>
Mon, 12 Oct 2009 12:21:38 +0000 (12 16:21 +0400)
committerKirill Kalishev <kirill.kalishev@jetbrains.com>
Mon, 12 Oct 2009 12:21:38 +0000 (12 16:21 +0400)
tree35530b2816d8d23980fa42c6df46892bd5016574
parent0c0b0ec047167dfafb51c91e8525cc103eb71825
Settings tree: selecting & filtering fixes
platform/platform-api/src/com/intellij/ide/util/treeView/AbstractTreeBuilder.java
platform/platform-api/src/com/intellij/ide/util/treeView/AbstractTreeUi.java
platform/platform-api/src/com/intellij/ide/util/treeView/UpdaterTreeState.java
platform/platform-api/src/com/intellij/ui/treeStructure/WeightBasedComparator.java
platform/platform-api/src/com/intellij/ui/treeStructure/filtered/FilteringTreeBuilder.java
platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsTree.java