[jglick] Not part of what the ICE Browser provides, -> will not be supported. Searching across the whole help set is already provided by JavaHelp. Ask Hanz if ICE Browser can be made to support in-p
age searching via e.g. some keybinding, I do not know. Maybe reassign to him and recategorize as web browser issue, it is not specific to the help system.
Resolved for 3.4.x or earlier, no new info since then -> verify.
Resolved for 3.4.x or earlier, no new info since then -> closing.
adding target milestone to closed issue (to keep BT queries from
picking up this issue)
changed my mind. This is something we should look at as we try to make
the help system more tightly integrated with the IDE
Reassigning to usersguide
This is not something that doc writers can do. Reassigning to the Help system module for evaluation.