ID#DateComponentDescriptionTarget
Notes
19.11.02NavigatorScroll Pane.0.1.1
Scroll pane not resizing correctly.
29.11.02NavigatorNot correctly removing options.0.1.2
The HashSet containing the NavigationLists is not removing menus ending with the 0 flag.
HashSets use the equals() method of its members to check if a member already exists. Added (overrode) equals() method in NavigationList class.
311.11.02NavigatorException when not a TeX file.0.1.1
The Navigator code is throwing an exception when a non-TeX file is the current buffer. Add a test line in to return if it is not a TeX file.
422.11.02NavigatorRefresh problem
Refresh only occurs if the buffer changes - needs to refresh when a new buffer is opened, or closed and at startup.