mirror of
https://github.com/PAMGuard/PAMGuard.git
synced 2024-11-25 08:32:32 +00:00
commit
efdf17f651
@ -471,6 +471,7 @@ final public class PamModel implements PamSettings {
|
|||||||
mi.setToolTipText("Interface to Tethys Database");
|
mi.setToolTipText("Interface to Tethys Database");
|
||||||
mi.setModulesMenuGroup(utilitiesGroup);
|
mi.setModulesMenuGroup(utilitiesGroup);
|
||||||
mi.setMaxNumber(1);
|
mi.setMaxNumber(1);
|
||||||
|
mi.setHidden(SMRUEnable.isEnable() == false);
|
||||||
}
|
}
|
||||||
|
|
||||||
/*
|
/*
|
||||||
|
@ -61,7 +61,7 @@ public class SplitPanePositioner implements PamSettings {
|
|||||||
|
|
||||||
@Override
|
@Override
|
||||||
public Serializable getSettingsReference() {
|
public Serializable getSettingsReference() {
|
||||||
System.out.printf("Save split position %s as %d out of %d\n", unitName, splitPane.getDividerLocation(), splitPane.getHeight());
|
// System.out.printf("Save split position %s as %d out of %d\n", unitName, splitPane.getDividerLocation(), splitPane.getHeight());
|
||||||
double propPosition = (double) splitPane.getDividerLocation() / (double) splitPane.getHeight();
|
double propPosition = (double) splitPane.getDividerLocation() / (double) splitPane.getHeight();
|
||||||
SplitPanePositionData posData = new SplitPanePositionData(splitPane.getDividerLocation(), propPosition, splitPane.getHeight());
|
SplitPanePositionData posData = new SplitPanePositionData(splitPane.getDividerLocation(), propPosition, splitPane.getHeight());
|
||||||
return posData;
|
return posData;
|
||||||
|
Loading…
Reference in New Issue
Block a user