101 reputation
1
bio website
location
age
visits member for 1 year, 3 months
seen Jul 2 '13 at 20:45

Jun
16
comment How do I modify the options for the power button?
Yes, this works on Ubuntu 13.04. Other answers involving gsettings do not work (I guess, any more).
Jun
16
awarded  Supporter