Scroller improvements

Better jump options in scroller and fix icon problem (Resource path needs /, not \ even on windows)

dependency-reduced-pom.xml

@@ -4,7 +4,7 @@
   <groupId>org.pamguard</groupId>
   <artifactId>Pamguard</artifactId>
   <name>Pamguard</name>
-  <version>2.02.13c</version>
+  <version>2.02.13d</version>
   <description>Pamguard using Maven to control dependencies</description>
   <url>www.pamguard.org</url>
   <organization>
@@ -172,7 +172,7 @@
             </additionalResources>
           </dmg>
           <jdk>
-            <include>true</include>
+            <include>false</include>
             <location>/Library/Java/JavaVirtualMachines/amazon-corretto-21.jdk</location>
           </jdk>
           <codesign>

pom.xml

@@ -216,7 +216,7 @@
 		                </additionalResources>
 		            </dmg>
 		             <jdk>
-			            <include>true</include>
+			            <include>false</include>
 			            <location>/Library/Java/JavaVirtualMachines/amazon-corretto-21.jdk</location>
 			        </jdk>
 		             <codesign>

src/PamController/PamguardVersionInfo.java

@@ -16,7 +16,7 @@ public class PamguardVersionInfo {
 	 * @return release type 
 	 */
 	static public ReleaseType getReleaseType() {
-		return ReleaseType.BETA; 
+		return ReleaseType.CORE; 
 	}
 	
 	/**

src/PamView/PamIcon.java

@@ -26,7 +26,8 @@ public class PamIcon {
 		
 
 		//the default is windows. Icon automatically resize on Windows. 
-		String path = "Resources\\pamguardIcon.png";
+		// Even on Windows, use a / slash. A \\ doesn't work (OK in debugger, not in built version)
+		String path = "Resources/pamguardIcon.png";
 
 		if (System.getProperty("os.name").equals("Linux") || System.getProperty("os.name").startsWith("Mac")) {
 			switch (sizeFlag) {

src/pamScrollSystem/AbstractPamScroller.java

@@ -42,7 +42,7 @@ public abstract class AbstractPamScroller implements DataTimeLimits {
 	/*
 	 * List of play speeds for a quick menu
 	 */
-	protected double[] playSpeeds = {.1, 0.25, .5, 1.0, 2, 5, 10};
+	protected double[] playSpeeds = {.1, 0.25, .5, 1.0, 2, 5, 10, 20, 30, 60};
 
 //	private long realTimerStart;
 //

src/pamScrollSystem/ViewerScrollerManager.java

@@ -644,7 +644,7 @@ public class ViewerScrollerManager extends AbstractScrollManager implements PamS
 		newMin = checkMinimumTime(menuMouseTime - scrollRange / 2);
 		newMax = checkMaximumTime(newMin + scrollRange);
 		newMin = menuMouseTime - scrollRange/2;
-		newMin = checkGapPos(dataBlock, newMin, newMax);
+//		newMin = checkGapPos(dataBlock, newMin, newMax); // doesn't work.
 		newMax = newMin + scrollRange;
 		System.out.printf("Centering scoller at %s, range %s to %s\n", PamCalendar.formatDBDateTime(menuMouseTime),
 				PamCalendar.formatDBDateTime(newMin), PamCalendar.formatDBDateTime(newMax));

src/userDisplay/UserDisplayFrame.java

@@ -31,7 +31,12 @@ public class UserDisplayFrame extends JInternalFrame {
 		add(userDisplayComponent.getComponent());
 		setTitle(userDisplayComponent.getFrameTitle());
 
+		try {
 			setFrameIcon(PamIcon.getPAMGuardImageIcon(PamIcon.SMALL));
+		}
+		catch (Exception e) {
+			System.out.println(e.getMessage());
+		}
 		
 		setSize(900, 400);
 		setVisible(true);