Re: [ jEdit-users ] regex chars in tags

[Shlomy R. <sre...@gm...>]

>> Select the option "Use line numbers when following tags, if specified
>> in the tag files" in the General option pane of the Tags plugin
>> options (Plugins -> Plugin Options -> Tags -> General).
>
> I don't see this option there.  I have v2.0.2 of the Tags plugin, and that's
> the newest version I see on the plugins.jedit.org web page; no updates (to
> that or any other plugin) show up in the Update tab.

I added this option a very long time ago, but I guess I never released
it. For now, if you want to use this option, you'll have to take the
latest version from SVN. I will request to release it to make it be
available through the Plugin Manager. I also added a few other useful
features such as dynamic actions to the Tags plugin, but then I wrote
CtagsInterface and completely neglected Tags, not even getting my
changes released...

> I also don't see any option to use line numbers under the CtagsInterface
> options.

Because there isn't one. CtagsInterface always uses line numbers.
Since its database is automatically updated when buffers are changed,
the line numbers in its database are always accurate.

>> CtagsInterface is intended to be a replacement for the Tags plugin,
>> but I think it does not support remote files
>
> That's what I thought, but I wasn't sure.  Bummer...

Maybe I will some day get it to work with VFS, to allow it to support
remote files. It shouldn't be difficult to do, but I very recently
found a better tool for source browsing, that provides a lot more
information than Ctags, so I'm more or less neglecting CtagsInterface
as well and moving on to a plugin for the new tool.

Shlomy