.. | .. |
---|
419 | 419 | e.printStackTrace(); |
---|
420 | 420 | } |
---|
421 | 421 | |
---|
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(); |
---|
426 | 426 | //clipboard.setContents(data, data); |
---|
427 | 427 | } |
---|
428 | 428 | |
---|
.. | .. |
---|
4295 | 4295 | |
---|
4296 | 4296 | try |
---|
4297 | 4297 | { |
---|
| 4298 | + // Try compressed version first. |
---|
4298 | 4299 | java.io.FileInputStream istream = new java.io.FileInputStream(fullname); |
---|
4299 | 4300 | java.util.zip.GZIPInputStream zstream = new java.util.zip.GZIPInputStream(istream); |
---|
4300 | 4301 | java.io.ObjectInputStream p = new java.io.ObjectInputStream(zstream); |
---|
.. | .. |
---|
4364 | 4365 | |
---|
4365 | 4366 | void LoadIt(Object obj) |
---|
4366 | 4367 | { |
---|
| 4368 | + if (obj == null) |
---|
| 4369 | + { |
---|
| 4370 | + // Invalid file |
---|
| 4371 | + return; |
---|
| 4372 | + } |
---|
| 4373 | + |
---|
4367 | 4374 | System.out.println("Loaded " + obj); |
---|
4368 | 4375 | //new Exception().printStackTrace(); |
---|
4369 | 4376 | Object3D readobj = (Object3D) obj; |
---|