Fixed bug setting border when resizing occurs. Added a window around

the window to get events from the whole "window" in one place, and add
a reasonable sized border, which  can be coloured using resource files
or gtk_widget_modify_{b,f}g().