Blimp

@@ -8,7 +8,7 @@ JFLEXIPIX=../JFlexiPix/JFlexiPix.jar

 VERSION_MAJOR=1

 VERSION_MINOR=4

-VERSION_REVISION=3

+VERSION_REVISION=4

 JAVAC=javac

 JAR=jar

@@ -237,6 +237,32 @@ public class Blimp extends JApplet

     updateFrames( 0 );

   }

+  //check file name and issue warning if it is not a known file type

+  private void checkFilenameAndWarn( String filename )

+  {

+    boolean warn = false;

+    if( filename.length() < 4 ) {

+      warn = true;

+    } else {

+      String ending = filename.substring(filename.length() - 4);

+      warn = ! ending.equals(".blm") &&

+             ! ending.equals(".bmm") &&

+             ! ending.equals(".bml") &&

+             ! ending.equals(".bbm");

+    }

+    if( warn ) {

+      JOptionPane.showMessageDialog( dialogParent,

+                                     "Blimp supports 4 different file types:\n" +

+                                     "*.bml: Blinkenlights Movie (classic format)\n" +

+                                     "*.bmm: BLINKENmini Movie\n" + 

+                                     "*.bml: Blinkenlights Markup Language (newer XML format)\n" +

+                                     "*.bbm: Binary Blinken Movie (smaller and faster)\n" +

+                                     "Please make sure your filename has one of those endings!\n",

+                                     "Blimp - Supported File Types...",

+                                     JOptionPane.INFORMATION_MESSAGE );

+    }

+  }

+

   //load file (filename is taken from curFile)

   private void fileLoad( )

   {

@@ -250,6 +276,7 @@ public class Blimp extends JApplet

     }

     else

     {

+      checkFilenameAndWarn( curFile.getPath( ) );

       //some error

       if( frame != null )

         frame.setTitle( "Blimp" );

@@ -320,6 +347,7 @@ public class Blimp extends JApplet

     }

     else

     {

+      checkFilenameAndWarn( curFile.getPath( ) );

       //some error

       labelStatus.setText( "movie \"" + curFile.getPath( ) +  "\" could not be saved..." );

     }

@@ -800,6 +828,7 @@ public class Blimp extends JApplet

     movie = new BlinkenMovie( 0, 0, 0, 0 );

     if( ! movie.load( fileChooser.getSelectedFile( ).getPath( ) ) )

     {

+      checkFilenameAndWarn( fileChooser.getSelectedFile( ).getPath( ) );

       //some error

       labelStatus.setText( "movie \"" + fileChooser.getSelectedFile( ).getPath( ) +  "\" could not be imported..." );

     }