Well, since everybody else is doing it.... [x] normal.png [ ] bold.png
Bold is just too heavy and space-filling for normal use. The ability to switch to bold (or even designate certain comments as boldface) seems much more logical, captain. d. -- derek holzer ::: http://www.umatic.nl ---Oblique Strategy # 19: "Be dirty" _______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> http://lists.puredata.info/listinfo/pd-list
