Blimp

@@ -213,6 +213,7 @@ public class Blimp extends JApplet

     fileChooser.addChoosableFileFilter( new BlinkenFileFilter( "bmm" ) );

     fileChooser.addChoosableFileFilter( new BlinkenFileFilter( "bml" ) );

     fileChooser.addChoosableFileFilter( new BlinkenFileFilter( "bbm" ) );

+    fileChooser.addChoosableFileFilter( new BlinkenFileFilter( "gif" ) );

     fileChooser.setFileFilter( blinkenFileFilter );

   }

@@ -252,7 +253,8 @@ public class Blimp extends JApplet

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

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

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

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

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

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

     }

     if( warn ) {

       JOptionPane.showMessageDialog( dialogParent,

@@ -261,6 +263,7 @@ public class Blimp extends JApplet

                                      "*.bmm: BLINKENmini Movie\n" + 

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

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

+                                     "*.gif: Graphics Interchange Format (common format for animated images)\n" +

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

                                      "Blimp - Supported File Types...",

                                      JOptionPane.INFORMATION_MESSAGE );

@@ -10,12 +10,20 @@ import java.io.*;

 public class BlinkenFileFilter extends javax.swing.filechooser.FileFilter

 {

-  boolean m_use_blm = true, m_use_bmm = true, m_use_bml = true, m_use_bbm = true;

-  String m_def_ext = "bml";

-  String m_descr = "all Blimp movie files (*.blm, *.bmm, *.bml, *.bbm)";

+  boolean m_use_blm = false, m_use_bmm = false, m_use_bml = false,

+          m_use_bbm = false, m_use_gif = false;

+  String m_def_ext;

+  String m_descr;

   public BlinkenFileFilter( )

   {

+    m_use_blm = true;

+    m_use_bmm = true;

+    m_use_bml = true;

+    m_use_bbm = true;

+    m_use_gif = true;

+    m_def_ext = "bbm";

+    m_descr = "all Blimp movie files (*.blm, *.bmm, *.bml, *.bbm, *.gif)";

   }

   public BlinkenFileFilter( String type )

@@ -36,6 +44,10 @@ public class BlinkenFileFilter extends javax.swing.filechooser.FileFilter

       m_use_bbm = true;

       m_def_ext = "bbm";

       m_descr = "Binary Blinken Movie files (*.bbm)";

+    } else if( type.equals( "gif" ) ) {

+      m_use_gif = true;

+      m_def_ext = "gif";

+      m_descr = "Graphics Interchange Format (*.gif)";

     }

   }

@@ -47,7 +59,8 @@ public class BlinkenFileFilter extends javax.swing.filechooser.FileFilter

     return (m_use_blm && fileName.endsWith( ".blm" )) ||

            (m_use_bmm && fileName.endsWith( ".bmm" )) ||

            (m_use_bml && fileName.endsWith( ".bml" )) ||

-           (m_use_bbm && fileName.endsWith( ".bbm" ));

+           (m_use_bbm && fileName.endsWith( ".bbm" )) ||

+           (m_use_gif && fileName.endsWith( ".gif" ));

   }

   public String getDescription( )