[ jEdit-devel ] [ jedit-Bugs-1538731 ] Dockable "View Registers" should be labeled "Registers"

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

Bugs item #1538731, was opened at 2006-08-11 14:17
Message generated for change (Comment added) made by olearyni
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1538731&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: editor core
Group: normal bug
>Status: Pending
Resolution: None
Priority: 5
Submitted By: Björn Kautler (vampire0)
Assigned to: Nobody/Anonymous (nobody)
Summary: Dockable "View Registers" should be labeled "Registers"

Initial Comment:
Sorry if this is a dupe, but I have many bugs to post 
and am too lazy to check them all for dupes 
currently. :-)

OS: Windows XP
Java Version: Sun Java 1.5.0_06-b05
jEdit Version: SVN Revision 6684


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

>Comment By: Nicholas O'Leary (olearyni)
Date: 2006-08-19 19:16

Message:
Logged In: YES 
user_id=631957

Can you clarify this? The dockable you get when you select
'View Registers' is already labeled 'Registers' - in the
same way the 'View Markers' action gives you the 'Markers'
dockable.

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

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