av.getRanges().addPropertyChangeListener(this);
- // without this the overview window does not size to fit the overview canvas
- // BH - no,no! - This does not include the progressPanel!
- // BH the problem was that OverviewCanvas.setPreferredSize() had not been set.
- // setPreferredSize(new Dimension(od.getWidth(), od.getHeight()));
-
addComponentListener(new ComponentAdapter()
{
@Override
{
resizePanel();
}
-
});
addMouseMotionListener(new MouseMotionAdapter()
Cursor.getPredefinedCursor(Cursor.CROSSHAIR_CURSOR));
}
}
-
});
addMouseListener(new MouseAdapter()
@Override
public void mousePressed(MouseEvent evt)
{
-
if (Platform.isWinRightButton(evt))
{
showPopupMenu(evt);
{
draggingBox = false;
}
-
});
-
- // /*
- // * Javascript does not call componentResized on initial display,
- // * so do the update here
- // */
- // if (Platform.isJS())
- // {
- // updateOverviewImage();
- // }
}
protected void resizePanel()
od.setHeight(h - ph);
updateOverviewImage();
}
- // BH 2019.07.29 this is unnecessary -- it is what layout managers are
- // for:
- // setPreferredSize(new Dimension(od.getWidth(), od.getHeight() +
- // ph));
}
}
}
- /*
+ /**
* Displays the popup menu and acts on user input
*/
protected void showPopupMenu(MouseEvent e)
popup.show(this, e.getX(), e.getY());
}
- /*
- * Toggle overview display between showing hidden columns and hiding hidden columns
+ /**
+ * Toggle overview display between showing hidden columns and hiding hidden
+ * columns
*/
protected void toggleHiddenColumns()
{