changeset 71:afdca61c314b

* Increased width of object selector tool for easier browsing
author mvbarracuda@33b003aa-7bff-0310-803a-e67f0ece8222
date Thu, 17 Jul 2008 21:36:37 +0000
parents 09b19289269e
children 5436c6070fc5
files clients/editor/plugins/objectselector.py
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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