[gedit-list] External Tools Plugin
- From: Brent Shambaugh <brent shambaugh gmail com>
- To: "gedit-list gnome org" <gedit-list gnome org>
- Subject: [gedit-list] External Tools Plugin
- Date: Fri, 22 Oct 2010 12:10:06 -0500
Hello All,
I downloaded the gedit w32 binary, and would like to use the "External Tools" Plugin. It wasn't in the usual place (i.e.: Edit > Preferences > External Tools) I couldn't find it, even in the plugins distros.
Is this plugin even relevant?
-Brent
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]