Re: [Evolution] WebKit editor undo problems

[Dario Lesca <d lesca solinos it>]

Il giorno ven, 12/06/2015 alle 12.08 +0100, Pete Biggs ha scritto:
> It looks like it's because of a specific size of font - which just
> happens to be the default for Gnome.  Changing from the default 11pt 
> to 12pt is sufficient to fix it.

Confirm: Gnome 3 + evo 3.16.3: change the font size via gnome-tweak
-tool to 12pt or 10pt resolve the problem.

But I want to remember that this problem it's never happened with
previous version of evo + gnome 3 + Fedora, then it is considered an
bug or not?
I must fill a bugs?

-- 
Dario Lesca
(inviato dal mio Linux Fedora 22 con Gnome 3.16)