|
b31f7b9d6b
|
Line numbering changes
|
2015-03-09 13:01:03 +09:00 |
|
|
53c89ab315
|
Messing around with options
|
2015-01-30 18:48:50 +09:00 |
|
|
665c9cc556
|
Set option for ignoring case
|
2015-01-30 18:24:36 +09:00 |
|
|
14695ffcde
|
Tweaking options
|
2015-01-30 16:30:09 +09:00 |
|
|
a612a2260d
|
Modify options
|
2015-01-30 11:36:07 +09:00 |
|
|
fcc4b02668
|
Deleting unused setting
|
2015-01-29 20:42:49 +09:00 |
|
|
4765faa194
|
Setting default font
|
2015-01-29 20:32:53 +09:00 |
|
|
01351b3af2
|
Updating color schemes
|
2015-01-29 19:57:53 +09:00 |
|
|
807170edca
|
Split configuration into multiple files
|
2015-01-28 19:41:26 +09:00 |
|