diff options
| author | Philipp Mildenberger | 2023-04-05 16:50:05 +0000 |
|---|---|---|
| committer | Philipp Mildenberger | 2023-05-18 20:04:47 +0000 |
| commit | 39b9a4bba2a026844348886c9d9f2026a3d6f658 (patch) | |
| tree | 5d940e2692d13faf949606aa5bb13267dad48547 /.gitattributes | |
| parent | 521cdec5a1a53c61d38ce5a1df85f82857f59149 (diff) | |
Add function `Editor::language_server_by_id` and refactor/simplify related code, also don't 'crash' in completion menu if language_server somehow disappeared
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions