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.

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

IDE doesn't allow renaming an identifier if it contains ":" #114

Closed
NickNekilov opened this issue Aug 7, 2023 · 0 comments
Closed

IDE doesn't allow renaming an identifier if it contains ":" #114

NickNekilov opened this issue Aug 7, 2023 · 0 comments
Assignees
Labels
bug Something isn't working

Comments

@NickNekilov
Copy link

image

@andreypfau andreypfau added the bug Something isn't working label Aug 7, 2023
@andreypfau andreypfau self-assigned this Aug 8, 2023
andreypfau added a commit that referenced this issue Aug 17, 2023
* WIP

* func

* FuncFunction stub indexes

* Reference resolving

* New inspections

* variable & parameters resolve

* constant & global var resolving

* forall type references

* function completion provider & fix #44

* annotator

* fix

* fix grammar

* fix chain call grammar

* fix syntax highlighting

* arguments inspection

* parameter hints

* rename refactoring

* smart function call insertion handler

* keyword completion

* completion improvements

* fix indents

* blueprint

* index constants

* documentation rendering

* fix markdown links

* Replace guard clause with function call & pragma version fix #52

* default auto-complete for keyword

* fix inv expression

* working tilda call

* fixed calls

* inbuilt functions doc

* quote handler

* recursive call line marker

* fix modify function args

* fix variable completion

* Basic Tact support

* Global variables and constants declared in including files aren't found (fix #113)

* IDE doesn't allow renaming an identifier if it contains ":" #114

* IDE doesn't allow renaming an identifier if it contains ":" fix #114

* light/dark tact icon

* backport tlb,fift,boc

* new plugin icon

* Update README.md

* 2.0

* README.md update

* update java
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
Status: Done
Development

No branches or pull requests

2 participants