Nixyri/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2025-02-16 15:40:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/GT-2830-dragonmacher-help-fix'

Browse Source
This commit is contained in:
ghidravore 2019-04-24 18:12:13 -04:00
commit b49989bfa3
1 changed files with 18 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
Ghidra/Framework/Docking/src/main/java/docking/help/CustomFavoritesView.java
View File

@ -18,6 +18,7 @@ package docking.help;
import java.awt.Component; import java.awt.Component;
import java.awt.event.KeyAdapter; import java.awt.event.KeyAdapter;
import java.awt.event.KeyEvent; import java.awt.event.KeyEvent;
import java.beans.PropertyChangeListener;
import java.net.MalformedURLException; import java.net.MalformedURLException;
import java.net.URL; import java.net.URL;
import java.util.Hashtable; import java.util.Hashtable;
@ -73,6 +74,8 @@ public class CustomFavoritesView extends FavoritesView {
class CustomFavoritesNavigatorUI extends BasicFavoritesNavigatorUI { class CustomFavoritesNavigatorUI extends BasicFavoritesNavigatorUI {
private PropertyChangeListener titleListener;
CustomFavoritesNavigatorUI(JHelpFavoritesNavigator b) { CustomFavoritesNavigatorUI(JHelpFavoritesNavigator b) {
super(b); super(b);
} }
@ -94,7 +97,7 @@ public class CustomFavoritesView extends FavoritesView {
// Note: add a listener to fix the bug described in 'idChanged()' below // Note: add a listener to fix the bug described in 'idChanged()' below
HelpModel model = favorites.getModel(); HelpModel model = favorites.getModel();
model.addPropertyChangeListener(e -> { titleListener = e -> {
if (lastIdEvent == null) { if (lastIdEvent == null) {
return; return;
@ -109,7 +112,20 @@ public class CustomFavoritesView extends FavoritesView {
if (!currentTitle.equals(lastTitle)) { if (!currentTitle.equals(lastTitle)) {
resendNewEventWithFixedTitle(lastIdEvent, currentTitle); resendNewEventWithFixedTitle(lastIdEvent, currentTitle);
} }
}); };
model.addPropertyChangeListener(titleListener);
}
@Override
public void uninstallUI(JComponent c) {
HelpModel model = favorites.getModel();
if (model != null) {
model.removePropertyChangeListener(titleListener);
}
super.uninstallUI(c);
} }
private void resendNewEventWithFixedTitle(HelpModelEvent originalEvent, String title) { private void resendNewEventWithFixedTitle(HelpModelEvent originalEvent, String title) {