Thorsten Ball
Thorsten Ball
Have you ever looked at our `DisplayMap`? I think it's very similar to what you have in mind: https://github.com/zed-industries/zed/blob/d21598efe91e041f259c63b16dfdbafacd2ca05d/crates/editor/src/display_map.rs#L1-L18 Folds, wrapping, tabs, highlighting, inlay hints — they are all modeled...
> 1. no worktree found for diagnostics path "/.../.move/https___github_com_MystenLabs_sui_git_framework__testnet/crates/sui-framework/packages/sui-framework/tests/math_tests.move Does the `/.../.move` come from move itself? Because that's not a valid path. Does `/.../` refer to the project root or...
Yeah, then the problem seems to be that it needs to access files outside of the project/worktree in Zed, it seems? Is that required or is it possible to have...
> Even if it did though, this dir should be linkable with the workspace somehow, because users shouldn't do this manually each time. Yeah, that's possible. You could drag it...
@malomarrec just a note: most linters only report errors, they don't actually change or rewrite code. So running linters in a batch change might not make sense for all linters.
workspace: Improve error handling when dropping a file that cannot be opened into the workspace pane
Hey! I'm pretty sure you can simplify your code by using this method: https://github.com/zed-industries/zed/blob/3f3ed89b63520964b4e653d56c8d3539f549e867/crates/workspace/src/notifications.rs#L585-L595 You can see how it's used here: https://github.com/zed-industries/zed/blob/3f3ed89b63520964b4e653d56c8d3539f549e867/crates/terminal_view/src/terminal_view.rs#L134-L139
workspace: Improve error handling when dropping a file that cannot be opened into the workspace pane
Works for me! Thanks! https://github.com/user-attachments/assets/dcd959df-c49b-48f7-a149-5e0f9db97c4a
Hey @brandondrew, sorry to hear that! Let's get to the bottom of this. 1. You used the feature before the upgrade to 148 and it worked, yes? which version did...
> 3\. It showed a mixture of (a) currently open unsaved content, and (b) paths to content that I have probably had open in Zed in the past, but I...
Setting to save/restore unsaved buffers: ```json {"session": { "restore_unsaved_buffers": true}} //default ```