view utils/__init__.py @ 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 4a0efb7baf70
children
line wrap: on
line source