The splitter has visual glitches, the extra small
icons on its top (to minimize left/right) are not
used elsewhere in the ide, and the splitter draws
solid black vertical line along its right edge
Just realised the solid black line is around both of the panes. It
should be removed.
switching to core | help system
AFAIK, JavaHelp does use UI delegates to manage its appearance, so probably we could do
something about this.
One thing to note: If we end up going with the AWT window modality fix (hack) in 1.5, it
would probably break any L&F customizations - the help window would have its own event
queue, event dispatch thread (this is what makes it very dangerous - two event dispatch
threads and all our thread safety tests will break if anything ever escapes the sandbox)
and app context, and so, its own UIDefaults. So any fix should be close to creating the
window, not done on startup like other things we put in UIDefaults.
Tim I just checked and JSplitPane used in Help window is inside
BasicHelpUI class and there is no way how to access this JSplitPane
instance using API. (So that we could modify width of splitter and/or
switch off arrow icons on splitter.) How did you think we could modify
it? The only way I see now is to subclass BasicHelpUI class and
provide to JHelp using setUI(). Or did you think something else? Thanks.
If we really want the help window to look decent, we are going to have to write our own UI
delegates for it. The good news is that Richard Gregor is the original author of a lot of the
code for this in JavaHelp, so perhaps he could help with that (or make improvements
directly to JavaHelp?).
Otherwise, I can imagine some hack that iterates the component tree looking for a
JSplitPane, that's about it.
Reassigning to the new "core/help system" owner obarbashov.
Moving JH issues to Victor.