public class FileHistoryPropertyListener extends Object implements PropertyChangeListener
Constructor and Description |
---|
FileHistoryPropertyListener(BasicJadicePanel mainViewerPanel,
boolean useKeyStrokes)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
propertyChange(PropertyChangeEvent evt)
When a Property event for key "PageView.DOCUMENT_PROPERTY" is received, we check if the current
document is different from the previously opened document (if any).
|
public FileHistoryPropertyListener(BasicJadicePanel mainViewerPanel, boolean useKeyStrokes)
Creates a new Listener with the given mainViewerPanel
mainViewerPanel
- the related viewer paneluseKeyStrokes
- whether the file menu entries get accelerator key strokespublic void propertyChange(PropertyChangeEvent evt)
If that is the case, notify JadiceDemoPreferences
about the change.
Note
We do not check the PropertyChangeEvent key here - the listener is registered via
getPageView().addPropertyChangeListener(String key, PropertyChangeListener listener)Due to this registration, this listener will just receive Events with the specified key
propertyChange
in interface PropertyChangeListener
Copyright © 2024 levigo holding gmbh. All rights reserved.