wbsoft/frescobaldi — pull request #270 by dliessi (2013-11-03 15:01:27+00:00)
Title: use engravePreview() in snippet/menu.py

Fixes #269.