|
|
7dfd213402
|
Added some more comments
|
2017-04-03 18:03:45 +02:00 |
|
|
|
db2fde89a1
|
Syntax highlighting and some other enhancements
|
2017-04-03 16:06:15 +02:00 |
|
|
|
4b9d86b470
|
Extended completion
|
2017-03-31 17:31:54 +02:00 |
|
|
|
65fcfb722a
|
Extended completion
|
2017-03-31 17:12:57 +02:00 |
|
|
|
d2aab86956
|
Some minor fixes
|
2017-03-30 18:13:10 +02:00 |
|
|
|
fc18301af4
|
Delete more variables on exit
|
2017-03-29 20:47:08 +02:00 |
|
|
|
bb999c6e34
|
Revised completion
|
2017-03-29 20:31:12 +02:00 |
|
|
|
6d88ca4fa1
|
Replace current buffer if unchanged
|
2017-03-28 17:50:56 +02:00 |
|
|
|
1ca22a14c3
|
Implemented "write", removed "gate", renamed "edit" to "open"
|
2017-03-28 12:33:10 +02:00 |
|
|
|
85f242b2e5
|
Initial commit
|
2017-03-27 16:24:28 +02:00 |
|
