Thanks for the response and, again, for the patch.
Quick question: you say "replacing the official package with one from PPA" but I am not sure exactly what you mean (I am fairly new to ubuntu). Apart from installing the .deb and adding the ppa (sudo add-apt-repository ppa:eugenesan/ppa) is there anything else that should be done at this point?
Eugene:
Thanks for the response and, again, for the patch.
Quick question: you say "replacing the official package with one from PPA" but I am not sure exactly what you mean (I am fairly new to ubuntu). Apart from installing the .deb and adding the ppa (sudo add-apt-repository ppa:eugenesan/ppa) is there anything else that should be done at this point?