racket / drracket

DrRacket, IDE for Racket
http://www.racket-lang.org/
Other
444 stars 93 forks source link

Delete unsaved file, keep backup => DrRacket crashes on startup #637

Closed bennn closed 9 months ago

bennn commented 10 months ago

I'm on the Racket v8.10 release.

I made a file, saved it, made some changes in DrRacket, deleted the file on the command line, and restarted DrRacket.

Crash:

[23:22:49] ~/code/uu/cs3520/ >% open-input-file: cannot open input file
  path: /Users/ben/code/uu/cs3520/cs3520/let-q.rhm
  system error: No such file or directory; errno=2
  context...:
   /Applications/Racket v8.10/share/pkgs/gui-lib/mred/private/editor.rkt:225:19
   /Applications/Racket v8.10/share/pkgs/gui-lib/framework/private/autosave.rkt:329:4: add-file-viewer
   /Applications/Racket v8.10/share/pkgs/gui-lib/framework/private/autosave.rkt:314:4: show-files
   /Applications/Racket v8.10/share/pkgs/gui-lib/framework/private/autosave.rkt:218:4: add-table-line
   /Applications/Racket v8.10/share/pkgs/gui-lib/framework/private/autosave.rkt:166:4: main
   .../private/arrow-val-first.rkt:489:18
   .../unit/lang.rkt:84:9
   /Applications/Racket v8.10/share/pkgs/drracket/drracket/private/link.rkt:57:0
   body of "/Applications/Racket v8.10/share/pkgs/drracket/drracket/tool-lib.rkt"
   body of "/Applications/Racket v8.10/share/pkgs/drracket/drracket/private/drracket-normal.rkt"
   body of "/Applications/Racket v8.10/share/pkgs/drracket/drracket/drracket.rkt"

[1]  + exit 1     /Applications/Racket\ v8.10/bin/drracket

Worst of all, when DrRacket reopened it had none of my tabs.

(Maybe that's my fault and I unchecked a box somewhere? Still if there's no tabs to restore then please ignore my backup file!)