wbsoft/frescobaldi — pull request #73 by shimpe (2012-06-17 19:29:58+00:00)
Title: patch for issue #72

here's my first attempt at contributing to the wonderful program that is frescobaldi

it seems to fix a bug for a small issue i noticed (reported as issue #72)