Re: [gedit-list] New plugin: Terminal emulator



David Keogh wrote:

Perhaps the gedit-plugins package could be mentioned on the plugins page of the main gedit website and the wiki page then. I didn't know it existed, and it's not available in my distro.

Actually, there is such a link, below the "official plugins" list. You didn't waste time anyway, since you could probably easily add the features that are in your terminal and not in ours, and send a patch...



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