public final class UpdateWindowTitlePropertyListener extends Object implements PropertyChangeListener
JFrame
titles when documents change. This is the preferred listener
if there is just one PageView in the document. This listener receives just events, if
a new Document has been loaded.If there are multiple PageViews in the application, the "UpdateWindowTitleContextListener" should be preferred. That class receives more events, but also gets informed about a change in the active PageView.
Constructor and Description |
---|
UpdateWindowTitlePropertyListener(JFrame mainFrame,
String rootTitleName,
BasicJadicePanel jadicePanel) |
Modifier and Type | Method and Description |
---|---|
void |
propertyChange(PropertyChangeEvent evt) |
public UpdateWindowTitlePropertyListener(JFrame mainFrame, String rootTitleName, BasicJadicePanel jadicePanel)
public void propertyChange(PropertyChangeEvent evt)
propertyChange
in interface PropertyChangeListener
Copyright © 2024 levigo holding gmbh. All rights reserved.