# HG changeset patch
# User prock@33b003aa-7bff-0310-803a-e67f0ece8222
# Date 1265646483 0
# Node ID 2d01d25222bd150575ccf28c78b7c1ab13df070d
# Parent  6dace911ac2d9295223fb2e666e915549b462633
This is a little hack to fix the issue where docked widgets shrink when you click inside them.  fixes[t:444]

diff -r 6dace911ac2d -r 2d01d25222bd tools/editor/scripts/gui/dockarea.py
--- 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