aliehlen

[aliehlen]

Okay, so these keys all work for me now. I have no idea why things are better now (since they were not functional for several days before I posted), but I did restart gnome in between the time when it didn’t work and the time when it did (alt-F2, r, enter). So, everything’s fine for me now, but I did want to post this update in case a) anyone else is having this problem and b) this actually is a useful troubleshooting measure.

[Author]

Posts