ui: notebook and tree

[Allin Cottrell <cottrell wfu edu>]

I see in the the README.IMPORTANT file in sawfish 1.5.0:

"recently the old GtkNotebook UI has been replaced by a GtkTree
UI, sadly this widget does currently not support single-clicking
it, so you need to double-click it."

This seems to me a strange choice.  The GtkNotebook API is still
in good standing, while the GtkTree API is strongly deprecated
(i.e., gets a worse write-up than most other deprecated GTK
features).  The current GTK docs say:

"GtkTree is deprecated and unsupported.  It is known to be buggy.
To use it, you must define the symbol GTK_ENABLE_BROKEN prior to
including the GTK+ header files."

-- 
Allin Cottrell
Department of Economics
Wake Forest University