101 reputation
1
bio website
location
age
visits member for 1 year, 5 months
seen 13 hours ago

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