search

zellij-org / zellij

A terminal workspace with batteries included
https://zellij.dev
MIT License
21.93k stars 666 forks source link

fix(plugins): derive hash and ord for PaneId #3790

Closed imsnif closed 3 days ago

imsnif commented 3 days ago

This is a minor fix to the plugin API - namely adding the Hash and Ord derives for the exported PaneId type to make it easier to use this type as a key in a HashMap and BTreeMap in plugins.