The difference between left and right shift, ctrl and alt bothered me as well. Perhaps it is even better to change this everywhere.
Please don't change this for alt, the right alt is really alt gr, which has a different purpose then a normal alt. But for ctrl and shift I agree. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://lists.gnu.org/mailman/listinfo/bug-hurd
