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
|
Wed, 15 Feb 2017 13:50:06 -0800 |
Simon Farnsworth |
ui: log time spent blocked on stdio
|
Wed, 15 Feb 2017 13:17:45 -0800 |
Simon Farnsworth |
ui: provide a mechanism to track and log blocked time
|
Sun, 12 Feb 2017 03:06:38 -0800 |
Kyle Lippincott |
ui: remove urllib2 from being imported early
|