On Fri, 11 Jul 2003, Jewett, Jim J wrote:
> > All of these three things [up/down, other
> > hardkeys, keyboard] could be rolled into
> > my keyboard customizer, removing the
> > Pref options for selectable page up /
> > page down keys, as well as for the other hard
> > keys while one is at it. But I don't like
> > removing Pref options as it creates backwards
> > incompatibilities. [and the current pref form
> > is friendlier.]
>
> I understand wanting to keep the old preference
> form for simplicity, but that form should have
> at least a link to the keyboard preferences form.
> Otherwise people will make changes on both
> forms (maybe not the same day) and wonder
> why their changes don't stick.
The new keyboard customizer doesn't include hard key support. (It would
be trivial to add it, but I haven't done it.) So there is no problem of
any such conflict.
> I understand wanting to store the hard keys
> in the old preference format for backwards
> compatibility, but what does that really gain?
It's easy to arrange for backwards compatibility when adding things to the
pref structure, but I can't think of how to do it while deleting
them. Feel free to do it, if you know how to. I agree it would be nice.
Alex
--
Dr. Alexander R. Pruss || e-mail: [EMAIL PROTECTED]
Philosophy Department || online papers and home page:
Georgetown University || www.georgetown.edu/faculty/ap85
Washington, DC 20057 ||
U.S.A. ||
-----------------------------------------------------------------------------
"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
