You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Is your feature request related to a problem? Please describe.
Renaming a function works, when the cursor is placed on one of the function heads. The same should work, if the cursor is placed on the spec attached to the function.
Renaming the function already correctly renames the spec.
The attached video shows first attempting to rename a spec. which fails, and then successfully renaming the function.
Screen.Recording.2022-02-02.at.12.51.01.mov
The text was updated successfully, but these errors were encountered:
Is your feature request related to a problem? Please describe.
Renaming a function works, when the cursor is placed on one of the function heads. The same should work, if the cursor is placed on the spec attached to the function.
Renaming the function already correctly renames the spec.
The attached video shows first attempting to rename a spec. which fails, and then successfully renaming the function.
Screen.Recording.2022-02-02.at.12.51.01.mov
The text was updated successfully, but these errors were encountered: