search

tualatrix / ubuntu-tweak

Ubuntu Tweak is a tool that makes it easy to configure your system and desktop settings. (This project is no longer under maintenance)
GNU General Public License v2.0
692 stars 197 forks source link

natty's launcher autohide bug fix #2

Closed yadutaf closed 13 years ago

yadutaf commented 13 years ago

Hi !

here is a fix for bug https://bugs.launchpad.net/ubuntu-tweak/+bug/720960 is it possible to merge it into the official version ?

many, many thanks !

tualatrix commented 13 years ago

Thank you! I've merged your work.