calebegg / proof-pad-classic

An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21 stars 4 forks source link

Redundant "Replace existing file" dialogs #70

Open grantbacon opened 10 years ago

grantbacon commented 10 years ago

Environment: OSX Mountain Lion Version: Release Version 4, c15be

Steps to reproduce:

  1. Open a new window
  2. Save... File chooser dialog appears
  3. Choose a file which already exists
  4. "Replace ?"
  5. Press yes
  6. Another Replace ? dialog appears.

Expected result: You are only prompted once to replace a file

Actual result: You are prompted twice to replace a file

Important notes: The file contents are only replaced after affirmation to the second dialog box.

grantbacon commented 10 years ago

This seems to be a platform-dependent issue.

The same issue was not reproducible on Debian Linux (Wheezy).

kyle921 commented 10 years ago

Also not reproducible on Windows 7.

calebegg commented 10 years ago

It's kind of dumb, because the OS X file chooser prompts you if the filename matches exactly, but not if you exclude the extension, so the prompt is sometimes necessary even on OS X. Still, it would be fixable. On Windows and Linux, I use the swing JFileChooser, which behaves more consistently but looks really bad on OS X.