changeset 420:2d01d25222bd

This is a little hack to fix the issue where docked widgets shrink when you click inside them. fixes[t:444]
author prock@33b003aa-7bff-0310-803a-e67f0ece8222
date Mon, 08 Feb 2010 16:28:03 +0000
parents 6dace911ac2d
children 293e812316c0
files tools/editor/scripts/gui/dockarea.py
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/tools/editor/scripts/gui/dockarea.py	Sat Feb 06 20:38:37 2010 +0000
+++ b/tools/editor/scripts/gui/dockarea.py	Mon Feb 08 16:28:03 2010 +0000
@@ -180,4 +180,7 @@
 			
 			ResizableBase.mouseReleased(self, event)
 			self.min_size = (0,0) # Override changes done in ResizableBase
+		
+		#FIXME: This is a little bit of a hack to fix Ticket #444
+		self.adaptLayout()
 				
\ No newline at end of file