diff options
author | Aram Drevekenin <aram@poor.dev> | 2023-04-28 15:26:39 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-28 15:26:39 +0200 |
commit | 1289643f89b8ea42a8adcfbbcee34d3dbf5e7176 (patch) | |
tree | 11f49470d3e9d9db16f2537b91416c6eca7490da /zellij-server/src/screen.rs | |
parent | a29c6533850d0543c2966d0743d3775d72657a15 (diff) |
feat(plugins): update and render plugins asynchronously (#2410)
* working-ish minus a few race conditions
* relax atomicity
* various refactoringz
* remove commented out code
* clarify some stuffs
* refactor(plugins): move PluginMap and friends to a different file
* refactor(plugins): move zellij_exports and friends to a different file
* style(fmt): rustfmt
* fix(e2e): adjust tests for flakiness async loading
Diffstat (limited to 'zellij-server/src/screen.rs')
-rw-r--r-- | zellij-server/src/screen.rs | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/zellij-server/src/screen.rs b/zellij-server/src/screen.rs index 7c698d65b..030a63a57 100644 --- a/zellij-server/src/screen.rs +++ b/zellij-server/src/screen.rs @@ -260,7 +260,7 @@ pub enum ScreenInstruction { NewTiledPluginPane(RunPluginLocation, Option<String>, ClientId), // Option<String> is // optional pane title NewFloatingPluginPane(RunPluginLocation, Option<String>, ClientId), // Option<String> is an - StartOrReloadPluginPane(RunPluginLocation, Option<String>, ClientId), // Option<String> is + StartOrReloadPluginPane(RunPluginLocation, Option<String>), // optional pane title AddPlugin( Option<bool>, // should_float @@ -2528,11 +2528,7 @@ pub(crate) fn screen_thread_main( size, ))?; }, - ScreenInstruction::StartOrReloadPluginPane( - run_plugin_location, - pane_title, - client_id, - ) => { + ScreenInstruction::StartOrReloadPluginPane(run_plugin_location, pane_title) => { let tab_index = screen.active_tab_indices.values().next().unwrap_or(&1); let size = Size::default(); let should_float = Some(false); @@ -2548,7 +2544,6 @@ pub(crate) fn screen_thread_main( pane_title, run_plugin, *tab_index, - client_id, size, ))?; }, |