Nick Mosher
|
e1927fa9c4
|
Adds faces module and function. Renames identifier face to variable.
|
2017-02-09 21:43:29 -05:00 |
|
Frank LENORMAND
|
94971e0e8a
|
Introduce the builtin face, modify scripts accordingly
|
2016-11-24 17:06:45 +03:00 |
|
Frank LENORMAND
|
85ce5db08a
|
Merge the "error" duplicate face into "Error"
|
2016-11-09 17:51:42 +03:00 |
|
Frank LENORMAND
|
504f50417e
|
Declare the BufferPadding in the default themes
|
2016-02-17 15:50:56 +02:00 |
|
Frank LENORMAND
|
5de6963f74
|
Add a github light theme
|
2016-02-17 10:30:19 +02:00 |
|