Merge remote-tracking branch 'origin/patch'

This commit is contained in:
ghidra1 2022-01-28 23:50:16 -05:00
commit 35d30b971c
5 changed files with 29 additions and 17 deletions

View file

@ -200,12 +200,12 @@ class HelpViewSearcher {
private JEditorPane getHTMLEditorPane(JHelpContentViewer contentViewer) {
//
// Intimate Knowledge - construction of the viewer:
//
//
// -BorderLayout
// -JScrollPane
// -Viewport
// -JHEditorPane extends JEditorPane
//
//
//
Component[] components = contentViewer.getComponents();
JScrollPane scrollPane = (JScrollPane) components[0];
@ -218,12 +218,12 @@ class HelpViewSearcher {
}
private void clearHighlights() {
((TextHelpModel) helpModel).setHighlights(new DefaultHighlight[0]);
((TextHelpModel) helpModel).removeAllHighlights();
}
//==================================================================================================
// Inner Classes
//==================================================================================================
//==================================================================================================
private class FindDialogAction extends AbstractAction {