fn drop()

in src/ui.rs [260:264]


    fn drop(&mut self) {
        if let Some(p) = history_path() {
            self.inner.borrow_mut().editor.save_history(&p).keep_going();
        }
    }