diff TOOLS/checktree.sh @ 18952:68560e9f3d6f

handle sub-window WinID checks in the gui.
author vayne
date Sat, 08 Jul 2006 16:48:41 +0000
parents edffd6f8a022
children e3f7f221f75e
line wrap: on
line diff