|
5f93424bcc
|
Updating options
|
2015-04-17 23:27:43 +09:00 |
|
|
98c12c039b
|
Disable mouse because it is annoying
|
2015-04-14 15:05:19 +09:00 |
|
|
47fa1b097e
|
Updating options
|
2015-03-21 21:26:20 +09:00 |
|
|
422d9afe56
|
Disable preview window for autocomplete.
|
2015-03-12 20:38:59 +09:00 |
|
|
b24d88a1a9
|
Updating plugins
|
2015-03-12 20:27:59 +09:00 |
|
|
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 |
|