From: SourceForge.net <no...@so...> - 2009-07-21 23:11:43
|
Plugin Bugs item #2825109, was opened at 2009-07-21 18:11 Message generated for change (Tracker Item Submitted) made by godfall You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=2825109&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: John Smith (godfall) Assigned to: Nobody/Anonymous (nobody) Summary: Can't remove "Filtering Selector" from CtagsSideKick toolbar Initial Comment: Hi: I am unable to remove the "Filtering Selector". Going to Plugin Options -> CtagsSideKick -> General, and checking/unchecking the "Filtering Selector" checkbox has no effect. I'm currently using jEdit 4.3pre17 server mode with JRE 1.6.0_10, on Ubuntu 8.10. Cheers, legit ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=2825109&group_id=588 |