Sat, 25 Feb 2017 15:00:44 +0100 |
Pierre-Yves David |
color: add ui to effect rendering
|
Sat, 25 Feb 2017 18:34:01 +0100 |
Pierre-Yves David |
color: initialize color for the localrepo ui
|
Sat, 25 Feb 2017 19:44:23 +0100 |
Pierre-Yves David |
color: add a 'ui.color' option to control color behavior
|
Tue, 28 Feb 2017 11:42:07 +0100 |
Pierre-Yves David |
color: reinvent dictionary
|
Sun, 19 Feb 2017 01:16:45 +0900 |
Yuya Nishihara |
chg: deduplicate error handling of ui.system()
|
Sun, 19 Feb 2017 01:00:10 +0900 |
Yuya Nishihara |
chg: refactor ui.system() to be partly overridden
|
Tue, 21 Feb 2017 18:22:07 +0100 |
Pierre-Yves David |
color: have the 'ui' object carry the '_colormode' directly
|