Re: Gtk patch version 3, part 1

[Eli Zaretskii]

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.