diff options
author | Keith Packard <keithp@keithp.com> | 2013-02-11 10:31:24 -0800 |
---|---|---|
committer | Keith Packard <keithp@keithp.com> | 2013-02-11 10:31:24 -0800 |
commit | 2a9ca1dcd00da2cfdd0a2ea616308dfb64ee80d4 (patch) | |
tree | 7d664f286ab64f70441838528c22d0e098bfb7db /altoslib | |
parent | 5a4cd7b9b318ddea5d1dcc71918819f11256ca94 (diff) |
altosui: Stick file basename in graph window title
The title was empty before, this seems more useful than that.
Signed-off-by: Keith Packard <keithp@keithp.com>
Diffstat (limited to 'altoslib')
-rw-r--r-- | altoslib/AltosLib.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/altoslib/AltosLib.java b/altoslib/AltosLib.java index cb5d467b..192da0a9 100644 --- a/altoslib/AltosLib.java +++ b/altoslib/AltosLib.java @@ -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)); + } } |