pogmommy/zellij
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix: update switch to tab bug in multiple users (#959)

Browse source 
* fix: update switch to tab for multiple user

* chore: remove unnecessary comments
This commit is contained in:
Jae-Heon Ji 2021-12-30 00:32:38 +09:00 • committed by GitHub
parent d296da8cfa
commit e1997f6e7d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
zellij-server/src/wasm_vm.rs
View file

@ -398,7 +398,10 @@ fn host_open_file(plugin_env: &PluginEnv) {
fn host_switch_tab_to(plugin_env: &PluginEnv, tab_idx: u32) { fn host_switch_tab_to(plugin_env: &PluginEnv, tab_idx: u32) {
plugin_env plugin_env
.senders .senders
.send_to_screen(ScreenInstruction::GoToTab(tab_idx, None)) // this is a hack, we should be able to return the client id here .send_to_screen(ScreenInstruction::GoToTab(
tab_idx,
Some(plugin_env.client_id),
))
.unwrap(); .unwrap();
} }