I'd like to shorten the size of the onscreen label for various insets
("Label" "Index" and so on), as I find them very distracting when writing.
I vaguely remember a discussion about this, but I cannot find any trace of
it in the lists, or on Google, or in the customization manual. Perhaps I am
not searching for the right terms.Memory aides appreciated Cheers, Stefano -- __________________________________________________ Stefano Franchi Associate Research Professor Department of Hispanic Studies Ph: +1 (979) 845-2125 Texas A&M University Fax: +1 (979) 845-6421 College Station, Texas, USA stef...@tamu.edu http://stefano.cleinias.org
