zellij/zellij-utils/assets/prost/generated_plugin_api.rs

42 lines
878 B
Rust
Raw Normal View History

pub mod api {
pub mod action {
include!("api.action.rs");
}
pub mod command {
include!("api.command.rs");
}
pub mod event {
include!("api.event.rs");
}
pub mod file {
include!("api.file.rs");
}
pub mod input_mode {
include!("api.input_mode.rs");
}
pub mod key {
include!("api.key.rs");
}
pub mod message {
include!("api.message.rs");
}
feat(plugins): introduce 'pipes', allowing users to pipe data to and control plugins from the command line (#3066) * prototype - working with message from the cli * prototype - pipe from the CLI to plugins * prototype - pipe from the CLI to plugins and back again * prototype - working with better cli interface * prototype - working after removing unused stuff * prototype - working with launching plugin if it is not launched, also fixed event ordering * refactor: change message to cli-message * prototype - allow plugins to send messages to each other * fix: allow cli messages to send plugin parameters (and implement backpressure) * fix: use input_pipe_id to identify cli pipes instead of their message name * fix: come cleanups and add skip_cache parameter * fix: pipe/client-server communication robustness * fix: leaking messages between plugins while loading * feat: allow plugins to specify how a new plugin instance is launched when sending messages * fix: add permissions * refactor: adjust cli api * fix: improve cli plugin loading error messages * docs: cli pipe * fix: take plugin configuration into account when messaging between plugins * refactor: pipe message protobuf interface * refactor: update(event) -> pipe * refactor - rename CliMessage to CliPipe * fix: add is_private to pipes and change some naming * refactor - cli client * refactor: various cleanups * style(fmt): rustfmt * fix(pipes): backpressure across multiple plugins * style: some cleanups * style(fmt): rustfmt * style: fix merge conflict mistake * style(wording): clarify pipe permission
2024-01-17 14:10:49 +03:00
pub mod pipe_message {
include!("api.pipe_message.rs");
}
pub mod plugin_command {
include!("api.plugin_command.rs");
}
pub mod plugin_ids {
include!("api.plugin_ids.rs");
}
pub mod plugin_permission {
include!("api.plugin_permission.rs");
}
pub mod resize {
include!("api.resize.rs");
}
pub mod style {
include!("api.style.rs");
}
}