On Tue, 31 Dec 2002, Jan D. wrote:
There is some documentation about widget names and how to customize fonts,
but there are some issues with GTK in this area.
I think the "Gtk*" names in this fragment (and also elsewhere):
+ The top level widget is a GtkWindow that contains a GtkVBox.
+ The GtkVBox contains the GtkMenuBar and a GtkFixed widget. The vertical
+ scroll bars, GtkVScrollbar, are contained in the GtkFixed widget.
+ The text you write in Emacs is drawn in the GtkFixed widget.
should have the @code markup, as they are programming symbols.