'Can I rename opened source file in DrRacket from DrRacket itself?
I have source file opened in DrRacket. Can I rename it from DrRacket IDE itself (not using programming language) without closing and opening file again?
Solution 1:[1]
Are you looking for Ctrl+Shift+S or File > Save Definitions As...? That should do the trick.
Sources
This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.
Source: Stack Overflow
| Solution | Source |
|---|---|
| Solution 1 | Thomas Hua |