diff --git a/src/history.rs b/src/history.rs index 0dc289db7..f3237d7aa 100644 --- a/src/history.rs +++ b/src/history.rs @@ -69,8 +69,14 @@ pub trait History { // reedline: fn append(&mut self, entry: &str); /// Add a new entry in the history. + /// + /// Return false if the `line` has been ignored (blank line / duplicate / + /// ...). fn add(&mut self, line: &str) -> Result; /// Add a new entry in the history. + /// + /// Return false if the `line` has been ignored (blank line / duplicate / + /// ...). fn add_owned(&mut self, line: String) -> Result; // TODO check AsRef + Into vs object safe /// Return the number of entries in the history.