Hi, I also saw that with Frescobaldi under ubuntu (with the default unity desktop). It might be connected to the global menu of unity, because it never occured with the gnome-panel interface, I am using now instead of unity.
Cheers, Joram _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-user