Re: [Evolution] WebKit editor undo problems

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 
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:

so no need to file it again.


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]