Re: markup question

[Karl Eichwalder <keichwa gmx net>]

Dan Mueth <d-mueth@uchicago.edu> writes:

> Use the <interface> tag, as in your example.

I vote for <guimenuitem>.  The TDG (p. 293) says: "This element became
obsolete in DocBook V3.0 with the introduction of GUIButton, ..."

I'm not sure whether the stylesheets already render the GUI elements.
For one of my german applications I'm using:

(element guimenuitem
  (make sequence
    (literal "»")
    (make element gi: "SPAN"
          attributes: '(("CLASS" "GUIMENUITEM")))
    (literal "«")))

(element guisubmenu
  (make sequence
    (literal "»")
    (make element gi: "SPAN"
          attributes: '(("CLASS" "GUIMENUITEM")))
    (literal "«")))

(element guimenu
  (make sequence
    (literal "»")
    (make element gi: "SPAN"
          attributes: '(("CLASS" "GUIMENUITEM")))
    (literal "«")))

-- 
work : ke@suse.de                          |          ------    ,__o
     : http://www.suse.de/~ke/             |         ------   _-\_<,
home : keichwa@gmx.net                     |        ------   (*)/'(*)