# HG changeset patch
# User mvbarracuda@33b003aa-7bff-0310-803a-e67f0ece8222
# Date 1216330597 0
# Node ID afdca61c314bb9215e463f45d8be137393c9b7e3
# Parent  09b19289269e24ed5a3cd2cc548d9e4e6ea4b904
 * Increased width of object selector tool for easier browsing

diff -r 09b19289269e -r afdca61c314b clients/editor/plugins/objectselector.py
--- a/clients/editor/plugins/objectselector.py	Thu Jul 17 07:53:09 2008 +0000
+++ b/clients/editor/plugins/objectselector.py	Thu Jul 17 21:36:37 2008 +0000
@@ -15,15 +15,15 @@
 		self.gui = widgets.Window(title="Object selector")
 		hbox = widgets.HBox(parent=self.gui)
 		self.gui.addChild(hbox)
-		scrollArea = widgets.ScrollArea(parent=hbox,size=(120,300))
+		scrollArea = widgets.ScrollArea(parent=hbox,size=(200,300))
 		hbox.addChild(scrollArea)
 		self.namespaces = widgets.ListBox(parent=scrollArea)
 		scrollArea.content = self.namespaces
-		scrollArea = widgets.ScrollArea(parent=hbox,size=(120,300))
+		scrollArea = widgets.ScrollArea(parent=hbox,size=(200,300))
 		hbox.addChild(scrollArea)
 		self.objects = widgets.ListBox(parent=scrollArea)
 		scrollArea.content = self.objects
-		scrollArea = widgets.ScrollArea(parent=hbox, size=(120,300))
+		scrollArea = widgets.ScrollArea(parent=hbox, size=(200,300))
 		hbox.addChild(scrollArea)
 		self.preview = widgets.Icon()
 		scrollArea.content = self.preview