pull up maps for arbitrary locations

[fw/altos] / ao-tools / altosui / Altos.java

diff --git a/ao-tools/altosui/Altos.java b/ao-tools/altosui/Altos.java
index 07bd01ae2fb5bb5e4d342ac171514be0d7885d25..997550e005ac91fc1de2cdbb03c67aad6c88355e 100644 (file)
--- a/ao-tools/altosui/Altos.java
+++ b/ao-tools/altosui/Altos.java
@@ -200,4 +200,11 @@ public class Altos {
                }
                return v * sign;
        }
+
+       static String replace_extension(String input, String extension) {
+               int dot = input.lastIndexOf(".");
+               if (dot > 0)
+                       input = input.substring(0,dot);
+               return input.concat(extension);
+       }
 }