info.bioinfweb.libralign.alignmentarea.paintsettings

Interface PaintSettingsListener

All Superinterfaces:

java.util.EventListener, java.beans.PropertyChangeListener

public interface PaintSettingsListener
extends java.beans.PropertyChangeListener

Listener interface to be implemented by classes that want to be informed on changes happening in an instance of PaintSettings.

Changes of the simple properties are indicated by calls of PropertyChangeListener.propertyChange(java.beans.PropertyChangeEvent). Additionally two methods indicating modifications of PaintSettings.getTokenPainterList() are defined.

Since:

0.4.0

Author:

Ben Stöver

Method Summary

Modifier and Type	Method and Description
void	tokenPainterListChange(PaintSettingsEvent event) Called if any change happens to the token painter list which is not a direct replacement of a token painter as indicated by tokenPainterReplaced(TokenPainterReplacedEvent).
void	tokenPainterReplaced(TokenPainterReplacedEvent event) Indicating that a token painter at a certain position in the token painter list was replaced.
void	zoomChange(ZoomChangeEvent event) Called if the PaintSettings.getZoomX() or PaintSettings.getZoomY() or both changed.

Methods inherited from interface java.beans.PropertyChangeListener

propertyChange

Method Detail

zoomChange

void zoomChange(ZoomChangeEvent event)

Called if the PaintSettings.getZoomX() or PaintSettings.getZoomY() or both changed.

Zoom changes are indicated by a separate event type instead of PropertyChangeListener.propertyChange(java.beans.PropertyChangeEvent), to avoid separate events (and e.g. multiple repaint operations) if both zoom factors are changed in one operation.

Parameters:

event - the object describing the event

tokenPainterReplaced

void tokenPainterReplaced(TokenPainterReplacedEvent event)

Indicating that a token painter at a certain position in the token painter list was replaced.

Note that this event is only fired if a direct replace happened and not if a more complex list change (e.g. modifying the list length and adding new painters at the) took place.

Parameters:

event - the object describing the event

tokenPainterListChange

void tokenPainterListChange(PaintSettingsEvent event)

Called if any change happens to the token painter list which is not a direct replacement of a token painter as indicated by tokenPainterReplaced(TokenPainterReplacedEvent). This event will happen if the alignment model of the associated alignment area was changed (or a concatenated model was modified) and according changes e.g. to the length of the token painter list were made.

Parameters:

event - the object describing the event