On Sun, 2013-06-23 at 12:49 +0100, Pete Biggs wrote: > > Yea. A plugin to embed gedit as an editor would be sweet. > I thought it existed - on F18 with Evo 3.6.4 there is a plugin for an > external editor that is preconfigured to use gedit. Haven't tried it > though :-)
Heh, and it works. Editing this in gedit... I nice hold-over until WebKit arrives. --- Adam Tauno Williams <mailto:[email protected]> GPG D95ED383 Systems Administrator, Python Developer, LPI / NCLA _______________________________________________ evolution-list mailing list [email protected] To change your list options or unsubscribe, visit ... https://mail.gnome.org/mailman/listinfo/evolution-list
