mirror of
https://github.com/zed-industries/zed.git
synced 2025-02-06 18:46:49 +00:00
45a01d1526
Instead, store all views in a single top-level map that's keyed by window id and view id. This ensures we'll keep a view alive even if its window is gone, so long as we're holding a handle. This can happen with things like spawned tasks. We don't want to panic during a spawned task after we close the window. |
||
---|---|---|
.. | ||
elements | ||
platform | ||
app.rs | ||
assets.rs | ||
clipboard.rs | ||
color.rs | ||
executor.rs | ||
font_cache.rs | ||
fonts.rs | ||
geometry.rs | ||
json.rs | ||
keymap.rs | ||
lib.rs | ||
presenter.rs | ||
scene.rs | ||
test.rs | ||
text_layout.rs | ||
util.rs |