Il giorno mar, 13/10/2015 alle 07.53 -0400, Paul Smith ha scritto: > On Tue, 2015-10-13 at 12:54 +0200, Andre Klapper wrote: > > > What is the difficulty to remove the bugs > > > > The difficulty is that manpower is limited. Your patches are highly > > welcome to fix problems faster. > > The best thing to do is to go help the WebKit folks, and/or follow > the bug there as mentioned in the See Also links: > https://bugs.webkit.org/show_bug.cgi?id=149703 > Thanks, this is a useful suggest.
> Unfortunately that bug was just reported to WebKit on Oct 1. Ok, this explain why the bug it's still alive... A (stupid?) question: But why it's not possible remove webkit editor and restore the old build-in editor? Thanks -- 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
