This Bugzilla instance is a read-only archive of historic NetBeans bug reports. To report a bug in NetBeans please follow the project's instructions for reporting issues.

Bug 4918

Summary: Help History contains filenames instead titles of pages.
Product: usersguide Reporter: Petr Slegr <pslegr>
Component: CodeAssignee: Petr Slegr <pslegr>
Status: RESOLVED INVALID    
Severity: normal    
Priority: P4    
Version: 3.x   
Hardware: All   
OS: All   
Issue Type: DEFECT Exception Reporter:

Description Petr Slegr 1999-12-09 03:37:44 UTC
I think that "Compiling Java Sources" is more useful than  jar:file:/c:/PRG2/build444ce/modules/usersguide.jar!/com/netbeans/developer/modules/usersguide/develop9.htm#1011559

[jglick] Re. filenames vs. document titles--agreed this would be better, but that is how ICE Browser stores document history, there is nothing to be done about it except complain to the ICE company. T
he history mechanism is completely invisible to the IDE`s code, it is implemented entirely within the ICE Browser component itself. Perhaps the ICE Browser module could affect this, I have no idea--as
k Hanz, he owns that module.

Re. bookmarks--JavaHelp does not specify a bookmark mechanism, I do not wish to add any noncritical features to the help system which are not present in a standard JavaHelp system. If JavaHelp adds bo
okmarking (probably not a very good idea because there is no obvious place to store this information persistently) then that will be supported.
Comment 1 Marek Grummich 2000-07-25 09:28:59 UTC
Priority is changed to P4 (normal).
Comment 2 Quality Engineering 2003-07-02 15:56:44 UTC
Resolved for 3.4.x or earlier, no new info since then -> verify.
Comment 3 Quality Engineering 2003-07-02 16:03:25 UTC
Resolved for 3.4.x or earlier, no new info since then -> closing.
Comment 4 Patrick Keegan 2003-07-10 13:43:01 UTC
filling in target milestone
Comment 5 Patrick Keegan 2003-07-10 14:07:49 UTC
opening to change status to invalid
Comment 6 Patrick Keegan 2003-07-10 14:09:57 UTC
we no longer use ICE Browser, so this is irrelevant. The history
buttons on the JH viewer answer this request,I think.