From b2998ca90c0dd6eb7d6b2a1deb19645d7ceb459f Mon Sep 17 00:00:00 2001 From: bptato Date: Fri, 16 Dec 2022 15:23:44 +0100 Subject: Document discardTree --- doc/config.md | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'doc/config.md') diff --git a/doc/config.md b/doc/config.md index 0570c065..6e9f0ea4 100644 --- a/doc/config.md +++ b/doc/config.md @@ -515,6 +515,11 @@ or if that doesn't exist, to its parent. If the current buffer is a root buffer (i.e. it has no parent), move to the next sibling buffer instead. + +`pager.discardTree()` +Discard all child buffers of the current buffer. + + `pager.reload()` Open a new buffer with the current buffer's URL, replacing the current -- cgit 1.4.1-2-gfad0