# $EPIC: window_shrink.txt,v 1.3 2006/08/20 18:32:13 sthalik Exp $
======Synopsis:======
[[window]] shrink <lines>

======Description:======
This makes the current window decrease in size by the specified number
of lines.  Any other visible windows are increased in size accordingly
to accommodate the current window.