 jerch
|
f81cca67eb
|
Merge branch 'master' into updated_wcwidth
|
2019-11-16 00:03:45 +01:00 |
|
|
Jörg Breitbart
|
c7ad4aa460
|
terminal option unicodeVersion
|
2019-11-15 13:33:28 +01:00 |
|
 Daniel Imms
|
a6dcb21f1c
|
Fix tests
|
2019-11-11 19:30:36 -08:00 |
|
|
Daniel Imms
|
e46ff9ec85
|
Add minimumContrastRatio to DOM renderer
Part of #322
|
2019-11-11 19:03:12 -08:00 |
|
|
Daniel Imms
|
fe08f34918
|
Use mp3 audio instead of wav
wav needs ffmpeg which vscode does not ship with, mp3 is best for compat
|
2019-10-24 12:04:45 -07:00 |
|
 Eric Amodio
|
f445bc763b
|
Adds scrollSensitivity option for scrolling speed
|
2019-10-18 14:30:46 -04:00 |
|
 Geraldo Neto
|
9f80ce25c2
|
Add : and ; to the word separator
|
2019-10-16 19:23:50 -03:00 |
|
 Geraldo Neto
|
1bc246323c
|
Add comma as a default word separator
|
2019-10-15 22:42:12 -03:00 |
|
 Corentin Surquin
|
73a17cfacb
|
Support fast scrolling using a modifier key
|
2019-08-10 19:45:41 +02:00 |
|
 Daniel Imms
|
a0e2c9b270
|
Fix naming issue with serviceBrand
|
2019-07-13 23:45:25 -07:00 |
|
|
Daniel Imms
|
5cc8ad802c
|
Get type safety in DI, fix character joiner not using buffer service
|
2019-07-13 22:02:13 -07:00 |
|
|
Daniel Imms
|
0c038352f3
|
Remove debug internal option completely and add option APIs
|
2019-07-13 10:00:15 -07:00 |
|
|
Daniel Imms
|
94199ae124
|
Introduce logLevel option
Part of #1560
|
2019-07-13 09:36:21 -07:00 |
|
 Max Risuhin
|
1b2811075c
|
Define wordSeparator option
|
2019-06-21 16:35:26 +03:00 |
|
|
Daniel Imms
|
80ce33f9ef
|
Rename EventEmitter2 to EventEmitter
Fixes #2029
|
2019-06-08 21:33:02 -07:00 |
|
|
Daniel Imms
|
a6540c8d06
|
Freeze DEFAULT_OPTIONS to prevent accidental edits
|
2019-06-08 16:48:12 -07:00 |
|
|
Daniel Imms
|
cd61f95612
|
Adopt options service in buffer
|
2019-06-08 16:46:03 -07:00 |
|
|
Daniel Imms
|
1704548b46
|
Move OptionsService into services folder
|
2019-06-08 15:58:44 -07:00 |
|