diff options
| author | Tw <tw19881113@gmail.com> | 2021-09-19 21:14:50 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-19 14:14:50 +0100 |
| commit | 4a7983f1c6edfe39e249f1c5803dcd262d05659a (patch) | |
| tree | 64b21d237da832c6770c3571b2872cd62d12c567 /zellij-tile/src | |
| parent | d16cd31927052ac97057c25ee964003bb2d82312 (diff) | |
feat(plugin): add visibility event for the plugin (#717)
When a tab becomes active/inactive, it send corresponding visibility event to its containing plugins.
Signed-off-by: Tw <tw19881113@gmail.com>
Diffstat (limited to 'zellij-tile/src')
| -rw-r--r-- | zellij-tile/src/data.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/zellij-tile/src/data.rs b/zellij-tile/src/data.rs index b22be626d..44708627f 100644 --- a/zellij-tile/src/data.rs +++ b/zellij-tile/src/data.rs @@ -35,6 +35,7 @@ pub enum Event { Timer(f64), CopyToClipboard, InputReceived, + Visible(bool), } /// Describes the different input modes, which change the way that keystrokes will be interpreted. |