Normand Briere
2019-06-17 26b49d8e26625491f4a407a05e9bc9d72037f938
ObjEditor.java
....@@ -419,10 +419,10 @@
419419 e.printStackTrace();
420420 }
421421
422
- String selection = infoarea.getText();
423
- java.awt.datatransfer.StringSelection data = new java.awt.datatransfer.StringSelection(selection);
424
- java.awt.datatransfer.Clipboard clipboard =
425
- Toolkit.getDefaultToolkit().getSystemClipboard();
422
+// String selection = infoarea.getText();
423
+// java.awt.datatransfer.StringSelection data = new java.awt.datatransfer.StringSelection(selection);
424
+// java.awt.datatransfer.Clipboard clipboard =
425
+// Toolkit.getDefaultToolkit().getSystemClipboard();
426426 //clipboard.setContents(data, data);
427427 }
428428
....@@ -4295,6 +4295,7 @@
42954295
42964296 try
42974297 {
4298
+ // Try compressed version first.
42984299 java.io.FileInputStream istream = new java.io.FileInputStream(fullname);
42994300 java.util.zip.GZIPInputStream zstream = new java.util.zip.GZIPInputStream(istream);
43004301 java.io.ObjectInputStream p = new java.io.ObjectInputStream(zstream);
....@@ -4364,6 +4365,12 @@
43644365
43654366 void LoadIt(Object obj)
43664367 {
4368
+ if (obj == null)
4369
+ {
4370
+ // Invalid file
4371
+ return;
4372
+ }
4373
+
43674374 System.out.println("Loaded " + obj);
43684375 //new Exception().printStackTrace();
43694376 Object3D readobj = (Object3D) obj;