-
- Vector<AlignmentViewPanelListener> view_listeners=new Vector<AlignmentViewPanelListener>();
- public synchronized void sendViewPosition(jalview.api.AlignmentViewPanel source, int startRes,
- int endRes, int startSeq, int endSeq)
+
+ Vector<AlignmentViewPanelListener> view_listeners = new Vector<AlignmentViewPanelListener>();
+
+ public synchronized void sendViewPosition(
+ jalview.api.AlignmentViewPanel source, int startRes, int endRes,
+ int startSeq, int endSeq)