X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=blobdiff_plain;f=altosui%2FAltosLaunchUI.java;h=56b211acd146e26a532d05a8f767fc03b928af71;hp=835858e23230e17f4d4ab72bf64ed422cc147e26;hb=e9a3268285e97b7316c3321892e77814703ff71d;hpb=1085ec5d57e0ed5d132f2bbdac1a0b6a32c0ab4a diff --git a/altosui/AltosLaunchUI.java b/altosui/AltosLaunchUI.java index 835858e2..56b211ac 100644 --- a/altosui/AltosLaunchUI.java +++ b/altosui/AltosLaunchUI.java @@ -24,7 +24,7 @@ import javax.swing.*; import java.io.*; import java.text.*; import java.util.concurrent.*; -import org.altusmetrum.altosuilib_11.*; +import org.altusmetrum.altosuilib_13.*; class FireButton extends JButton { protected void processMouseEvent(MouseEvent e) {