I can reproduce this. If the option "filter persists after tree selection" is *not* checked, and I start up a clean jEdit 5.0, typing into the filter field doesn't do anything.
Since I normally always have the "filter persists after tree selection" checked, I never noticed this before.
So the current workaround is to check that option. But this is a bug.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
That's interesting. Oddly enough, I can't reproduce the error anymore.
I discovered that this was working properly on another co-workers PC, so I copied there settings over mine and voila...mine started working too. So, I never knew what setting it was that made the difference.
Now, it doesn't matter whether I have the box checked or not. It always works properly.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I only see it immediately after jEdit startup. If i start fiddling with options, eventually the filter field always works and it doesn't matter what options are there. So it seems like some sort of initialization problem.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I can't confirm. It works for me. What revision of CtagsSidekick?
Sorry, I have CtagsSidekick 1.5, Jedit 5.0.0, JRE 1.6.0_37.
I can reproduce this. If the option "filter persists after tree selection" is *not* checked, and I start up a clean jEdit 5.0, typing into the filter field doesn't do anything.
Since I normally always have the "filter persists after tree selection" checked, I never noticed this before.
So the current workaround is to check that option. But this is a bug.
The filter checkbox option I am talking about is in Plugin Options - Sidekick - General, not in CtagsSideKick.
That's interesting. Oddly enough, I can't reproduce the error anymore.
I discovered that this was working properly on another co-workers PC, so I copied there settings over mine and voila...mine started working too. So, I never knew what setting it was that made the difference.
Now, it doesn't matter whether I have the box checked or not. It always works properly.
I only see it immediately after jEdit startup. If i start fiddling with options, eventually the filter field always works and it doesn't matter what options are there. So it seems like some sort of initialization problem.
I forgot to mention. I did not have this option checked after copying my co-workers settings.