mirror of
https://github.com/PAMGuard/PAMGuard.git
synced 2024-11-25 08:32:32 +00:00
commit
b78bbe8b9e
2
pom.xml
2
pom.xml
@ -5,7 +5,7 @@
|
|||||||
<modelVersion>4.0.0</modelVersion>
|
<modelVersion>4.0.0</modelVersion>
|
||||||
<groupId>org.pamguard</groupId>
|
<groupId>org.pamguard</groupId>
|
||||||
<artifactId>Pamguard</artifactId>
|
<artifactId>Pamguard</artifactId>
|
||||||
<version>2.02.09aa</version>
|
<version>2.02.09ab</version>
|
||||||
<name>Pamguard Java12+</name>
|
<name>Pamguard Java12+</name>
|
||||||
<description>Pamguard for Java 12+, using Maven to control dependcies</description>
|
<description>Pamguard for Java 12+, using Maven to control dependcies</description>
|
||||||
<url>www.pamguard.org</url>
|
<url>www.pamguard.org</url>
|
||||||
|
@ -31,12 +31,12 @@ public class PamguardVersionInfo {
|
|||||||
* Version number, major version.minorversion.sub-release.
|
* Version number, major version.minorversion.sub-release.
|
||||||
* Note: can't go higher than sub-release 'f'
|
* Note: can't go higher than sub-release 'f'
|
||||||
*/
|
*/
|
||||||
static public final String version = "2.02.09aa";
|
static public final String version = "2.02.09ab";
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Release date
|
* Release date
|
||||||
*/
|
*/
|
||||||
static public final String date = "12 January 20242";
|
static public final String date = "18 January 2024";
|
||||||
|
|
||||||
// /**
|
// /**
|
||||||
// * Release type - Beta or Core
|
// * Release type - Beta or Core
|
||||||
|
@ -82,8 +82,8 @@ public class SplitPanePositioner implements PamSettings {
|
|||||||
@Override
|
@Override
|
||||||
public void run() {
|
public void run() {
|
||||||
int newPos = posData.getPosition() + splitPane.getHeight() - posData.getHeight();
|
int newPos = posData.getPosition() + splitPane.getHeight() - posData.getHeight();
|
||||||
System.out.printf("Set split %s position to %d or %3.3f of %d\n", unitName,
|
// System.out.printf("Set split %s position to %d or %3.3f of %d\n", unitName,
|
||||||
posData.getPosition(), posData.getPropPosition(), splitPane.getHeight());
|
// posData.getPosition(), posData.getPropPosition(), splitPane.getHeight());
|
||||||
splitPane.setDividerLocation(posData.getPosition());
|
splitPane.setDividerLocation(posData.getPosition());
|
||||||
}
|
}
|
||||||
});
|
});
|
||||||
|
Loading…
Reference in New Issue
Block a user