Skip to content

Conversation

@jeremypw
Copy link
Collaborator

@jeremypw jeremypw commented Jan 8, 2025

Fixes #1317

Jeremy Wootten and others added 30 commits October 7, 2024 19:58
* Sync with GitManager and ProjectChooserButton
… completion plugin

The 'insert_text' signal gives more detail about how the document contents have changed, giving us a way to more accurately update the prefix tree used for word completion
Jeremy Wootten and others added 27 commits December 4, 2024 12:48
@jeremypw
Copy link
Collaborator Author

jeremypw commented Jan 8, 2025

Closing as based on wrong branch

@jeremypw jeremypw closed this Jan 8, 2025
@jeremypw jeremypw deleted the jeremypw/symbol-pane=scroll-doc-on-click branch January 8, 2025 17:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Symbol Pane: Does not scroll back to already selected method

4 participants