[ jEdit-devel ] [ jedit-Plugin Bugs-2825109 ] Can't remove "Filtering Selector" from CtagsSideKick toolbar

[SourceForge.net <no...@so...>]

Plugin Bugs item #2825109, was opened at 2009-07-22 02:11
Message generated for change (Comment added) made by shlomy
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: Closed
>Resolution: Invalid
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

----------------------------------------------------------------------

>Comment By: Shlomy Reinstein (shlomy)
Date: 2009-07-23 21:54

Message:
Ok, closing this bug. The filter box belongs to SideKick, not
CtagsSideKick, and I don't think SideKick provides an option to hide this
filter box. If you like, you can open a feature request to add this option
in SideKick.
Regarding the "Filtering selector" - the "selector" menus of CtagsSideKick
only contain menu items that do not require any user input. These are
hard-coded functions (e,g. sort elements by name, or group elements by
class). For filtering, there is currently no hard-coded filter that takes
no parameters, and until I add some, the filtering selector won't be
available.
In general, you don't need these selectors - you can configure all the
elements using the mode-specific options of the plugin. The selectors
simply provide a quick way of changing the way tree nodes are sorted /
grouped / filtered / presented in the tree.

----------------------------------------------------------------------

Comment By: John Smith (godfall)
Date: 2009-07-23 19:45

Message:
Oh, they aren't the same?  Then I was referring to the "Filter" text box in
my bug description.  I guess you can close this bug then.  I assume that
you will implement the actual "Filtering Selector" at some point.

As a suggestion, perhaps these two features should be named differently to
avoid confusion, even after the "Filtering Selector" is implemented.

----------------------------------------------------------------------

Comment By: Shlomy Reinstein (shlomy)
Date: 2009-07-22 08:32

Message:
How did you get to have the "Filtering Selector" visible in the SideKick
toolbar? Are you sure you're not confusing the "Filtering Selector" with
the "Filter:" label and text box? These are two different things. The
"Filtering Selector" is a menu that allows you to filter items based on
attribute values (but is currently unusable), while the "Filter:" label
comes with a text-box that lets you filter based on substrings in the tree
nodes. These are two different things.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=2825109&group_id=588