Mon, 06 Feb 2017 23:55:54 -0500 |
Augie Fackler |
ui: add a debug print right before we start the pager
|
Mon, 06 Feb 2017 23:42:04 -0500 |
Augie Fackler |
ui: respect historic pager.attend-$COMMAND=no
|
Mon, 06 Feb 2017 23:21:45 -0500 |
Augie Fackler |
ui: add ignore-single-command functionality
|
Wed, 15 Feb 2017 17:48:03 -0500 |
Augie Fackler |
ui: introduce neverpager() call
|
Wed, 15 Feb 2017 17:47:51 -0500 |
Augie Fackler |
pager: move pager-initiating code into core
|
Wed, 15 Feb 2017 13:38:00 -0800 |
Simon Farnsworth |
ui: give editor() a tag of its own
|
Wed, 15 Feb 2017 13:29:12 -0800 |
Simon Farnsworth |
ui: time calls to ui.system
|