commands
|
use enum module instead or usertypes.enum
|
2017-11-02 18:56:11 +01:00 |
completion
|
Merge pull request #3237 from rcorre/completionsort
|
2017-11-03 14:36:42 +01:00 |
config
|
Bump up default font size to 10pt
|
2017-11-06 07:36:52 +01:00 |
javascript
|
Finally update copyrights...
|
2017-05-09 21:37:03 +02:00 |
keyinput
|
Fix modeparser tests
|
2017-09-22 19:49:52 +02:00 |
mainwindow
|
Fix a couple style issues
|
2017-10-30 12:40:44 -04:00 |
misc
|
Merge remote-tracking branch 'origin/pr/3100'
|
2017-11-02 11:32:45 +01:00 |
scripts
|
Review fixes
|
2017-10-04 09:22:35 -04:00 |
test_app.py
|
Finally update copyrights...
|
2017-05-09 21:37:03 +02:00 |