| kenyon | I just accidentally pressed some keyboard shortcut that hid the GNOME top bar and dock. Not sure how to restore them. Anyone know? Not finding it in GNOME help and with googling. | 00:35 |
|---|---|---|
| kenyon | nevermind, it was something specific to my xterm window being fullscreened. exited it and everything went back to normal. | 00:43 |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!