RESIZABLE GUIs :
 =====================================================================

 - How to make them :

 All you have to do in order to make a GUI resizable is declare the 
 border gadgets with the  WinType  command.

 Resizing is usually proportional, but you can controll how each
 gadget should resize itself through the  Resize  attribute.

 - Notes on resizing :

 Gui4Cli is (or tries its best to be)   font-sensitive 
 This means that it will automatically resize a GUI to fit the font you 
 use. 

 However, the best method of getting and keeping the GUI size you want
 on your system, is to use the CONTROL-W short cut :

 When you press CONTROL-W on a window, a requester will appear which
 will tell you the current window size & position and have the following
 choices :

 BIG     :  Save this window size as the default size it opens with

 Small   :  Save this window size as the minimum size 

 Adjust  :  Resets the current minimum window size and allows you
            to resize the window to any size.

 CANCEL  :  You know...

 Saving the window sizes, instructs Gui4Cli to append one of 2 commands :

 RESIZE_SMALL  Left Top Width Height     - or
 RESIZE_BIG    Left Top Width Height

 to the specified GUI file.

 This command will instruct Gui4Cli to resize the window to the 
 specified size, upon loading it. Note that when Gui4Cli loads the
 file, it can encounter many such RESIZE_xx commands, since you may
 have saved the window sizes many times. It will only use the last
 ones it encounters, so you may as well delete any others..

 NOTE :

 When you resize a GUI, the gadgets are redrawn to their new sizes
 positions etc. and with the values they currently have.

 The xLISTVIEW's current value, is the line number of the last
 line you clicked on it (if any, otherwise 0), and so when redrawn
 it will show this line as the 1st one. This may cause some 
 confusion....

 It's the fault of the GadTools library, so leave me out of it..