Re: [ jEdit-devel ] Tags plugin bug

[Slava P. <sl...@je...>]

Ken,

There is a sample line from a tags file that causes problems:

GUIUtilities    /home/slava/jEdit/org/gjt/sp/jedit/GUIUtilities.java   
/^      private GUIUtilities() {} \/\/}}}$/;"   m      
class:GUIUtilities      file:

I generated my tags with 'ctags'. Note that it explicitly escapes the /
with \.

On Wed, 2002-02-06 at 17:56, Kenrick Drew wrote:
> Slava, 
> 
> So I looked into this bug and can't reproduce it.  I changed the contents of an existing tag index file to contain the line:
> 
> 	view_	c:\WINDOWS\.jedit_test\jars\Tags\tags/ChooseTagList.java	/^  private/ View/ view_/;$/;"	field	line:37	language:Java	class:ChooseTagList	file:	access:private
> 
> My mailer probably has broken up the line but you get the idea.  The search string (between /^ and /:") contains slashes.  The popup correctly shows the search string:
> 
> 	private/ View/ view_/;
> 
> and not:
> 
> 	private\/ View\/ view_\/;
> 
> What version of the plugin are you using?  The latest should be 1.0.3.
> 
> Ken
> 
> Slava Pestov wrote:
> > 
> > Ken,
> > 
> > The Tags plugin incorrectly displays the contents of the tags popup if a
> > tag's text contains a slash / (it shows \/ instead of /). Also, it would
> > be nice if Tags was updated to use the new JEditTextArea.offsetToXY()
> > method, because right now it shows the popup in the wrong place when
> > used with folding and/or soft wrap.
> > --
> > Slava Pestov
> > 
> > --
> > -----------------------------------------------
> > jEdit Developers' List
> > jEd...@li...
> > https://lists.sourceforge.net/lists/listinfo/jedit-devel
> 
> -- 
> Ken Drew
> kd...@ea...
> 
> 
> 
> -- 
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
-- 
Slava Pestov