Andrew Lygin

Results 19 issues of Andrew Lygin

Port of golang tests from [chan_test.go](https://github.com/golang/go/blob/master/src/runtime/race/testdata/chan_test.go). ~Some tests most likely will fail due to #838.~ Data races removed by switching back to sequential consisency ordering. Part of #201

This PR adds support for the TLA+ formal specification language and its satellite PlusCal language.

In order to give users early access to new features and bug fixes, it would be nice to have nightly builds and publish them as a separate "TLA+ Nightly" extension.

enhancement

The `TlaDocumentSymbolsProvider` stumbles on operators while parsing constants and doesn't report them as model symbols. As a result, const operator names don't appear in the outline panel and in completion...

enhancement
good first issue

The extension now supports on-type formatting, i.e. automatic code indentation while the user is typing. It would be great to also support formatting of the selected code blocks (including the...

enhancement

This PR completes the first task of the Tabless editing feature (#6424). It makes file finder select the previously opened file by default which allows the user to quickly switch...

cla-signed

This PR is another step to tabless editing (#6424, #4963). It adds support for tab bar settings that allow the user to change its placement or to hide completely. Configuraton:...

cla-signed

Draft of the Tab Switcher (#7653), just to gather feedback, if any. Release Notes: - Added Tab Switcher Current state: https://github.com/zed-industries/zed/assets/2101250/863ca50a-d041-4c11-855e-c51bb6953abe

cla-signed

Scroll project search results to the top after every new search. Related issues: - Fixes #8237 Release Notes: - Fixed autoscrolling of the project search results.

cla-signed

Optimizes file finder subscriptions — it now only subscribes to worktrees updates instead of all project updates. Project panel could also be optimized this way, I guess. Related issues: -...

cla-signed