Re: [Evolution] WebKit editor undo problems

[Pete Biggs <pete biggs org uk>]

On Sat, 2015-06-13 at 00:41 +0200, Dario Lesca wrote:
> 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?

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.

P.