X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FOverviewPanel.java;h=a73a06a229d8456b3e3b318ec83a35b8bf3fe765;hb=b2a2c2070f14d18d67b07b030d70073a21b7a4e3;hp=28ad3c588b018e54a1ee2122077295c81b5ada90;hpb=d1192ef92ac9563bbc40a648f80e9b6d8162ed2b;p=jalview.git diff --git a/src/jalview/gui/OverviewPanel.java b/src/jalview/gui/OverviewPanel.java index 28ad3c5..a73a06a 100755 --- a/src/jalview/gui/OverviewPanel.java +++ b/src/jalview/gui/OverviewPanel.java @@ -86,7 +86,7 @@ public class OverviewPanel extends JPanel this.ap = alPanel; showHidden = Cache.getDefault(Preferences.SHOW_OV_HIDDEN_AT_START, - true); + false); if (showHidden) { od = new OverviewDimensionsShowHidden(av.getRanges(), @@ -208,6 +208,10 @@ public class OverviewPanel extends JPanel if (!od.isPositionInBox(evt.getX(), evt.getY())) { draggingBox = false; + + // display drag cursor at mouse position + setCursor(Cursor.getPredefinedCursor(Cursor.MOVE_CURSOR)); + od.updateViewportFromMouse(evt.getX(), evt.getY(), av.getAlignment().getHiddenSequences(), av.getAlignment().getHiddenColumns()); @@ -230,6 +234,13 @@ public class OverviewPanel extends JPanel showPopupMenu(evt); } } + + @Override + public void mouseReleased(MouseEvent evt) + { + draggingBox = false; + } + }); }