
These are random notes that should be useful to me (MB) and others.

0. GTK_SPINBUTTON is now GTK_SPIN_BUTTON (the new name looks better to
me!)

1. The version of `eiffel-gtk' included in `exg' doesn't work without
`exg';

2. Wherever (of course, this is limited by my knowledge and skill)
there is a better way to do things the head-comment of that feature
will contain the word optimization;

3. Stuff called (UNTESTED) in the ChangeLogs may work or not;
(UNTESTED) means it wasn't fully tested, not that it wasn't tested at
all.

4. To paint on a widget/window: set_flags(gtk_app_paintable)
