desktop-packages team mailing list archive
-
desktop-packages team
-
Mailing list archive
-
Message #47734
[Bug 881714] Re: gedit's "manage external tools": cannot select a filetype when adding a new tool
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: gedit-plugins (Ubuntu)
Status: New => Confirmed
--
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:
Confirmed
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
References