It seems to me that the keyboard configurator really ought to be a part of
the Options | Preferences set. Perhaps so should the font configurator.
What do people think?
I don't know why the font configurator isn't. The keyboard configurator
isn't because I lazily didn't do it right in the first place, and because
unlike the Preferences items, it stores its data in a separate database.
But since the user can't see where it stores its data, that's a bad reason
to make it separate.
Alex
--
Dr. Alexander R. Pruss
Department of Philosophy
Georgetown University
Washington, DC 20057-1133 U.S.A.
e-mail: [EMAIL PROTECTED]
online papers and home page: www.georgetown.edu/faculty/ap85
----------------------------------------------------------------------------
-
"Philosophiam discimus non ut tantum sciamus, sed ut boni efficiamur."
- Paul of Worczyn (1424)
_______________________________________________
plucker-dev mailing list
[EMAIL PROTECTED]
http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
