101 reputation
1
bio website
location
age
visits member for 1 year, 6 months
seen Nov 22 at 23:48

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