2023-08-20 00:46:55 +02:00
|
|
|
//! ### buffer
|
2023-08-20 04:00:52 +02:00
|
|
|
//!
|
|
|
|
//! 
|
2023-08-20 00:46:55 +02:00
|
|
|
//!
|
|
|
|
//! a buffer is a container fo text edited by users.
|
|
|
|
//! this module contains buffer-related operations and helpers to create Operation Sequences
|
|
|
|
//! (the underlying chunks of changes sent over the wire)
|
|
|
|
|
|
|
|
/// buffer controller implementation
|
2023-07-30 17:48:55 +02:00
|
|
|
pub mod controller;
|
2023-08-20 00:46:55 +02:00
|
|
|
|
2024-02-01 17:54:56 +01:00
|
|
|
/// assorted helpers to handle buffer controllers
|
|
|
|
pub mod tools;
|
|
|
|
|
2023-09-10 03:01:37 +02:00
|
|
|
pub(crate) mod worker;
|
2023-08-16 23:09:47 +02:00
|
|
|
|
2024-02-01 17:54:56 +01:00
|
|
|
pub use controller::BufferController as Controller;
|