3 people 2d54538fe1 Truncate tabs in filenames (#50550) ...

Closes #19208

Authored-By: @ngauder 

Release Notes:

- Editor: truncate long file names in tab titles

---------

Co-authored-by: Nikolas Gauder <nikolas.gauder@tum.de>
Co-authored-by: Zed Zippy <234243425+zed-zippy[bot]@users.noreply.github.com>

2026-03-02 19:50:52 -07:00

..

benches

Revert "Revert scheduler update (#46659)" (#46671)

2026-01-14 07:19:13 +00:00

src

Truncate tabs in filenames (#50550)

2026-03-02 19:50:52 -07:00

Cargo.toml

build: Tear up crate graph (move terminal closer to editor) (#48602)

2026-02-06 20:14:35 +01:00

LICENSE-GPL

chore: Change AGPL-licensed crates to GPL (except for collab) (#4231)

2024-01-24 00:26:58 +01:00