Hi Michael,
Thank you very much! I will try the latest version from the repository.
Miguel
On Sat, Sep 17, 2011 at 02:15:36PM +0100, Michael Stapelberg wrote:
Hi Miguel,
FYI: The bug with the pan icon is now fixed :).
Best regards,
Michael