GNOME

2021

Toggle window decorations on Linux GTK3 with Python3 -

2014

Desktop sharing not working in Lubuntu 14.04 -

2011

rdesktop swallows keyboard events -

Reclaiming desktop space with Ubuntu's window-picker-applet -

Switching workspace in GNOME via the command line -

2009

Random background in GNOME -

2008

Fixing the vertical panel window list on Ubuntu Hardy -