Skip to content
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.

Sign up for GitHub

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

Jump to bottom

[0.1.43] Spurious error "inserted id is not valid" #709

Closed
hlship opened this issue Jan 20, 2015 · 1 comment
Closed

[0.1.43] Spurious error "inserted id is not valid" #709

hlship opened this issue Jan 20, 2015 · 1 comment
Labels
released Marks issues which have had the fixes released in a stable build
Milestone
1.2.7

Comments

@hlship
Copy link

hlship commented Jan 20, 2015

I have a local symbol in a let named "graph".

I hit Shift-F6 to rename it in place; I want to name it graph' (ending with an apostrophe).

fan_bootstrap_-flashiz-fan-suite-___workspaces_fexco_fan-suite

But when I hit enter to finalize the rename:

fan_bootstrap_-flashiz-fan-suite-___workspaces_fexco_fan-suite
@tobias
Copy link

tobias commented May 5, 2016

I'm seeing this same issue with a symbol with an apostrophe (foo').

@cursive-ide cursive-ide added this to the 1.2.7 milestone May 12, 2016
@cursive-ide cursive-ide mentioned this issue May 18, 2016
Closed
@cursive-ide cursive-ide added the released Marks issues which have had the fixes released in a stable build label Oct 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
released Marks issues which have had the fixes released in a stable build
Projects
None yet
Milestone
1.2.7
Development

No branches or pull requests
4 participants
@tobias @hlship @danielcompton @cursive-ide