altosui: Stick file basename in graph window title
[fw/altos] / altoslib / AltosLib.java
index cb5d467bcf1070f6b9bffef77c5309abfb7dd64f..192da0a9d765982aedb019eaadb3f33aeecbd149 100644 (file)
@@ -405,4 +405,8 @@ public class AltosLib {
                        input = input.substring(0,dot);
                return input.concat(extension);
        }
+
+       public static File replace_extension(File input, String extension) {
+               return new File(replace_extension(input.getPath(), extension));
+       }
 }