Switched from Search to Filter in the Resource tree

p01 · p01 · commit 66206dfbbc74 · 2012-10-03T15:43:12.000+02:00
diff --git a/src/resource-manager/resource_tree_view.js b/src/resource-manager/resource_tree_view.js
@@ -99,7 +99,8 @@ cls.ResourceTreeView.create_ui_widgets = function()
             handler: "resource-tree-text-search",
             shortcuts: "resource-tree-text-search",
             title: ui_strings.S_SEARCH_INPUT_TOOLTIP,
-            label: ui_strings.S_INPUT_DEFAULT_TEXT_SEARCH
+            label: ui_strings.S_INPUT_DEFAULT_TEXT_FILTER,
+            type: "filter"
           }
         ]
       }

Original file line number	Diff line number	Diff line change
`@@ -99,7 +99,8 @@ cls.ResourceTreeView.create_ui_widgets = function()`
`99`	`99`	`handler: "resource-tree-text-search",`
`100`	`100`	`shortcuts: "resource-tree-text-search",`
`101`	`101`	`title: ui_strings.S_SEARCH_INPUT_TOOLTIP,`
`102`		`- label: ui_strings.S_INPUT_DEFAULT_TEXT_SEARCH`
	`102`	`+ label: ui_strings.S_INPUT_DEFAULT_TEXT_FILTER,`
	`103`	`+ type: "filter"`
`103`	`104`	`}`
`104`	`105`	`]`
`105`	`106`	`}`