summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAram Drevekenin <aram@poor.dev>2024-04-12 15:46:29 +0200
committerAram Drevekenin <aram@poor.dev>2024-04-12 15:46:29 +0200
commit41f7175882a7d708656cd6fdfac05f1ba75086fc (patch)
tree4a105eaf983f1dfa40a697e7b2bb577be8cf2c0c
parentb568bfb16ec77f5a717718b7c3778ea396199690 (diff)
-rw-r--r--zellij-server/src/lib.rs9
-rw-r--r--zellij-utils/src/input/options.rs8
2 files changed, 14 insertions, 3 deletions
diff --git a/zellij-server/src/lib.rs b/zellij-server/src/lib.rs
index 71e0d9c87..e1244ec4a 100644
--- a/zellij-server/src/lib.rs
+++ b/zellij-server/src/lib.rs
@@ -1018,7 +1018,14 @@ fn init_session(
None,
Some(os_input.clone()),
);
- move || background_jobs_main(background_jobs_bus, serialization_interval, disable_session_metadata).fatal()
+ move || {
+ background_jobs_main(
+ background_jobs_bus,
+ serialization_interval,
+ disable_session_metadata,
+ )
+ .fatal()
+ }
})
.unwrap();
diff --git a/zellij-utils/src/input/options.rs b/zellij-utils/src/input/options.rs
index 80fd6b7bb..343bdb091 100644
--- a/zellij-utils/src/input/options.rs
+++ b/zellij-utils/src/input/options.rs
@@ -227,7 +227,9 @@ impl Options {
.or(self.scrollback_lines_to_serialize);
let styled_underlines = other.styled_underlines.or(self.styled_underlines);
let serialization_interval = other.serialization_interval.or(self.serialization_interval);
- let disable_session_metadata = other.disable_session_metadata.or(self.disable_session_metadata);
+ let disable_session_metadata = other
+ .disable_session_metadata
+ .or(self.disable_session_metadata);
Options {
simplified_ui,
@@ -308,7 +310,9 @@ impl Options {
.or_else(|| self.scrollback_lines_to_serialize.clone());
let styled_underlines = other.styled_underlines.or(self.styled_underlines);
let serialization_interval = other.serialization_interval.or(self.serialization_interval);
- let disable_session_metadata = other.disable_session_metadata.or(self.disable_session_metadata);
+ let disable_session_metadata = other
+ .disable_session_metadata
+ .or(self.disable_session_metadata);
Options {
simplified_ui,