class PrivateMap
…
public void sideChanged(String oldSide, String newSide) {
super.sideChanged(oldSide, newSide);
((View)getView()).disableListeners();
if (isAccessibleTo(newSide)) {
((View)getView()).enableListeners();
}
launchButton.setEnabled(isVisibleTo(PlayerRoster.getMySide()));
}
…
expect: hide map on side change
actual: still visible on side change; only launchButton is disabled
Eclipse Workspace Patch 1.0
#P vassal
Index: src/VASSAL/build/module/PrivateMap.java
— src/VASSAL/build/module/PrivateMap.java (revision 9251)
+++ src/VASSAL/build/module/PrivateMap.java (working copy)
@@ -201,10 +201,18 @@
public void sideChanged(String oldSide, String newSide) {
super.sideChanged(oldSide, newSide);
- View view = (View) getView();
- ((View)getView()).disableListeners();
if (isAccessibleTo(newSide)) {
((View)getView()).enableListeners();
-
// show private map if player switches to this side
-
theMap.getTopLevelAncestor().setVisible(true);
- } else {
-
// hide private map if player switches away from it
-
theMap.getTopLevelAncestor().setVisible(false);
}
- repaint();
launchButton.setEnabled(isVisibleTo(PlayerRoster.getMySide()));
}
Would you mind giving me a minimal module on which I can test the patch?