changeset 9:9e9fe34052a6

Use .close().
author David Barts <n5jrn@me.com>
date Fri, 17 Jul 2020 23:13:13 -0700
parents b5fcabce391f
children 70b4d11ebbb9
files src/name/blackcap/imageprep/Menus.kt
diffstat 1 files changed, 2 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/src/name/blackcap/imageprep/Menus.kt	Fri Jul 17 22:56:00 2020 -0700
+++ b/src/name/blackcap/imageprep/Menus.kt	Fri Jul 17 23:13:13 2020 -0700
@@ -93,8 +93,7 @@
             Toolkit.getDefaultToolkit().beep()
             return
         }
-        w.setVisible(false)
-        w.dispose()
+        w.close()
     }
 
     /* xxx - ImageIO bug? */
@@ -162,8 +161,7 @@
                 w.useNormalCursor()
                 val error = get()
                 if (error == null) {
-                    w.setVisible(false)
-                    w.dispose()
+                    w.close()
                 } else {
                     ioExceptionDialog(w, file, "write", error)
                 }