GNOME

GNOME tips and tricks

Reusing the general approach from this post gives a way for setting Shift_L+Shift_R as layout change:

Oct 22, 2024