Seb, you win, dude. Setting symbols='us(pc104)+inet(hpi6)'
options='altwin:super_win' (which was my first guess as soon as Andrew called me
because I'd broken his XKB entirely, and I'm pretty sure is the right thing to
be doing) works fine, so reassigning to the GNOME keyboard thingy. Ez GTK boog. :)
Seb, you win, dude. Setting symbols= 'us(pc104) +inet(hpi6) ' 'altwin: super_win' (which was my first guess as soon as Andrew called me
options=
because I'd broken his XKB entirely, and I'm pretty sure is the right thing to
be doing) works fine, so reassigning to the GNOME keyboard thingy. Ez GTK boog. :)