Re: [Evolution] WebKit editor undo problems

[Dario Lesca <d lesca solinos it>]

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)