-
Notifications
You must be signed in to change notification settings - Fork 1.6k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Can't rename files from within Editor (+3) #419
Comments
Removed Type-Defect label. |
Added Area-Editor, Usability labels. |
Changed the title to: "Can't rename files from within Editor (+2)". |
Changed the title to: "Can't rename files from within Editor (+3)". |
Set owner to @jwren. |
Set owner to @pq. |
FIle rename is now supported in the editor. Do note that this is strictly a resource rename. A proper refactoring, where references are updated is still to come... Added Fixed label. |
Adds an example and some text to show an alternate usage of /*=T*/ form, where it provides another named type to use for non-strong mode tools.
This issue was originally filed by domi...@google.com
I'd like to be able to rename files from within the Dart Editor.
The text was updated successfully, but these errors were encountered: