# HG changeset patch
# User David Barts <n5jrn@me.com>
# Date 1595052793 25200
# Node ID 9e9fe34052a6649c4bdd6d0f3eb8fb996fe18b48
# Parent  b5fcabce391f13456abe490b121a9d18924c0759
Use .close().

diff -r b5fcabce391f -r 9e9fe34052a6 src/name/blackcap/imageprep/Menus.kt
--- 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)
                 }