Il giorno sab, 13/06/2015 alle 00.01 +0100, Pete Biggs ha scritto: > > Yes, it's a bug and it's already in Bugzilla: > > https://bugzilla.gnome.org/show_bug.cgi?id=749712 > > so no need to file it again.
I have add a comment to bug https://bugzilla.gnome.org/show_bug.cgi?id=749712#c1 undo in HTML editor is broken also with font != 11 pt -- Dario Lesca (inviato dal mio Linux Fedora 22 con Gnome 3.16) _______________________________________________ evolution-list mailing list evolution-list@gnome.org To change your list options or unsubscribe, visit ... https://mail.gnome.org/mailman/listinfo/evolution-list
