Merge branch 'tree-ui'
authorKirill Kalishev <kirill.kalishev@jetbrains.com>
Mon, 12 Oct 2009 12:28:46 +0000 (16:28 +0400)
committerKirill Kalishev <kirill.kalishev@jetbrains.com>
Mon, 12 Oct 2009 12:28:46 +0000 (16:28 +0400)
commiteecca23effb23f1ebcb588b63b19c584a23da318
tree1ba443914d9c2d167b0a82173909177819096c52
parentdb2314efece143a8dedf78498a755324437ee93d
parentb38ad9626d18303022d619fd578942ce0604718f
Merge branch 'tree-ui'
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