Change the brackets intention call only when the cursor is on the brackets - Githubissues

JetBrains / intellij-arend

Arend plugin for IntelliJ IDEA

Apache License 2.0

90 stars 12 forks source link

Change the brackets intention call only when the cursor is on the brackets #477

Closed alex999990009 closed 7 months ago