6 Commits

Author	SHA1	Message	Date
Igor Khanin	6e0f48e192	More precise math font autocomplete suggestions (#6316)	2025-05-28 13:05:10 +00:00
Laurenz	eee903b0f8	Refactor Scope (#5797)	2025-02-03 16:04:54 +00:00
Laurenz	7add9b459a	Smarter filtering of scope completions	2024-11-13 10:21:40 +01:00
Laurenz	de59d64d10	Simplify go-to-definition	2024-11-13 10:21:40 +01:00
Laurenz	5625914872	Simplify import handling	2024-11-13 10:21:40 +01:00
Laurenz	6c22ba1cbd	Move a few things into separate files	2024-11-13 10:21:40 +01:00