Jürgen Spitzmüller wrote:
Bo Peng wrote:
But the information what kind of char style this is ois still available
somewhere? In the status line perhaps when the cursor is inside the
style inset perhaps?
I think the font used in such an inset is (almost) enough to tell us
what kinds of charstyle it is. If someone really wants to know, s/he
can click on the inset, or use view->open all insets.
I think it depends on the charstyle whether the font is enough information or
not. Therefore, I'd rather introduce a tag in the charstyle definition where
you can set whether the label should be shown initially or not.
Another possibility is for the label to be toggleable (sp?). Much like
we have with---ERT? Then all you need is something in the layout file
that will tell whether to display the label by default.
Richard
--
==================================================================
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://frege.brown.edu/heck/
==================================================================
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto
