The source project of this merge request has been removed.
rename three group options, to be distinct from "while-pressed" options
In general, options whose name ends in "_switch" do something while the relevant key or key combination is being held -- see, for example, grp:menu_switch, lv3:ralt_switch, or lv5:rctrl_switch.
The renamed three options, however, set a group when they are pressed, and this group remains set when the relevant key is released.
Keep the old names around as aliases, for backward compatibility.
Signed-off-by: Benno Schulenberg bensberg@telfort.nl