mirror of
https://github.com/zed-industries/zed.git
synced 2024-09-20 02:47:34 +03:00
b1870af386
Give the caller of report_app_event() the choice of whether to immediately flush the queue or not. |
||
---|---|---|
.. | ||
pane | ||
persistence | ||
dock.rs | ||
item.rs | ||
notifications.rs | ||
pane_group.rs | ||
pane.rs | ||
persistence.rs | ||
searchable.rs | ||
shared_screen.rs | ||
status_bar.rs | ||
toolbar.rs | ||
workspace_settings.rs | ||
workspace.rs |