Public bug reported:
Hi all,
To reproduce:
1. Open gedit (Ubuntu 11.10)
2. Go to Tools->Manage External Tools... (you must have gedit-plugins installed)
3. Add a new tool (press the "+" button below the list of tools)
3. Press the "..." button right to the Applicability list
4. A "filetypes" list appears
- Sometimes (most of the time) list items cannot be selected (i.e., the list
is useless).
- Other times you can actually select some list items, but the list itself
doesn't disappear until you exit gedit!
Additionally, there is no way to change the default name "new tool" of
your new tool! :)
** Affects: gedit-plugins (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gedit-plugins in Ubuntu.
https://bugs.launchpad.net/bugs/881714
Title:
gedit's "manage external tools": cannot select a filetype when adding
a new tool
Status in “gedit-plugins” package in Ubuntu:
New
Bug description:
Hi all,
To reproduce:
1. Open gedit (Ubuntu 11.10)
2. Go to Tools->Manage External Tools... (you must have gedit-plugins
installed)
3. Add a new tool (press the "+" button below the list of tools)
3. Press the "..." button right to the Applicability list
4. A "filetypes" list appears
- Sometimes (most of the time) list items cannot be selected (i.e., the list
is useless).
- Other times you can actually select some list items, but the list itself
doesn't disappear until you exit gedit!
Additionally, there is no way to change the default name "new tool" of
your new tool! :)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gedit-plugins/+bug/881714/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
