pol wrote:
Is it possible to hide labels?
Since labels are not part of the document, it would makes sense to toggle
them off, when not needed.
No, not yet. But there's work being done on this, or at least there are
discussions.
rh
Pol
--
==================================================================
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
