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(); } }