594 reputation
610
bio website mikewaters.net
location Babylon, NY
age 38
visits member for 4 years, 11 months
seen Nov 21 at 17:08

Mar
25
revised Terminal *output* history?
Better answer given two years later.
Dec
21
revised How to change font size in gnome-shell panel
added 368 characters in body
Sep
14
revised Terminal *output* history?
added 575 characters in body
Aug
24
revised Gnome+NX clipboard behavior; auto-copy on select?
added 341 characters in body