201 reputation
12
bio website
location
age
visits member for 4 years, 3 months
seen Jul 13 '13 at 2:13

Oct
12
comment Change default width of gnome-terminal and terminator windows
Hm...you're right. It has vanished from the GUI for some reason. Surely this is all being stored in a config file somewhere...