From 0d4b00c4d4502d2ee1ba5a6e7e56db2134841e2b Mon Sep 17 00:00:00 2001 From: Aram Drevekenin Date: Tue, 19 Nov 2024 10:04:19 +0100 Subject: [PATCH] fix(plugins): derive hash and ord for PaneId (#3790) --- zellij-utils/src/data.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zellij-utils/src/data.rs b/zellij-utils/src/data.rs index 40bdb200c9..94b74c4d21 100644 --- a/zellij-utils/src/data.rs +++ b/zellij-utils/src/data.rs @@ -1503,7 +1503,7 @@ pub struct NewPluginArgs { pub skip_cache: bool, } -#[derive(Debug, Clone, Copy, Serialize, Deserialize, PartialEq, Eq)] +#[derive(Debug, Clone, Copy, Serialize, Deserialize, PartialEq, Eq, Hash, PartialOrd, Ord)] pub enum PaneId { Terminal(u32), Plugin(u32),