drracket-restore-workspace:   Restore workspace for Dr  Racket
8.12

drracket-restore-workspace: Restore workspace for DrRacket🔗ℹ

Sorawee Porncharoenwase <sorawee.pwase@gmail.com>

When a DrRacket window with at least one tab that corresponds to a file is closed (potentially due to DrRacket exit), the menu View|Restore tabs in the last closed window will be enabled. Clicking it will restore tabs in the last closed window.