Sat, 21 Nov 2015 22:04:09 +0200 |
Mykola Nikishov |
ui: allow open editor with custom filename
|
Sun, 22 Nov 2015 14:44:55 -0800 |
Gregory Szorc |
ui: avoid needless casting to a str
|
Tue, 24 Nov 2015 11:23:10 -0800 |
Gregory Szorc |
ui: remove labeled argument from popbuffer
|
Sun, 22 Nov 2015 14:10:48 -0800 |
Gregory Szorc |
ui: track label expansion when creating buffers
|
Sat, 14 Nov 2015 17:14:14 -0800 |
Gregory Szorc |
ui.write: don't clear progress bar when writing to a buffer
|
Tue, 10 Nov 2015 00:46:45 -0800 |
Siddharth Agarwal |
error: add structured exception for EOF at prompt
|
Thu, 22 Oct 2015 18:59:03 +0000 |
Gregory Szorc |
ui: support paths.default-push without paths.default set (issue4914)
stable
|