Faster JPG reader.

Normand Briere

2019-08-20 537f4ac57ae2b34f0a04fa63874c8ca6534c9a6d

 GroupEditor.java
..
..
@@ -1259,7 +1259,10 @@
1259
1259
                 
1260
1260
                 CreateTexturePanel(textures);
1261
1261
                 
1262
-                resourcecontainer.setSelectedIndex((int)(Math.random() * resourcecontainer.getTabCount()));
1262
+                int tabCount = resourcecontainer.getTabCount();
1263
+                
1264
+                if (tabCount > 0)
1265
+                    resourcecontainer.setSelectedIndex((int)(Math.random() * tabCount));
1263
1266
                 
1264
1267
                 oe.toolboxPanel.add(textures);
1265
1268