 Daniel Imms
|
3408a0537f
|
Add linkTooltipHoverDuration setting
Fixes #2822
|
2020-04-11 07:22:20 -07:00 |
|
 Daniel Imms
|
7609a5456e
|
Fix most lgtm warnings
|
2020-04-10 14:08:28 -07:00 |
|
|
Daniel Imms
|
8842625bb4
|
Allow enum-like objects to use upper case naming
|
2020-03-30 06:17:37 -07:00 |
|
|
Daniel Imms
|
3f33751ff2
|
Merge remote-tracking branch 'ups/master' into eslint
|
2020-03-28 07:45:06 -07:00 |
|
|
Daniel Imms
|
bbd83b9dba
|
Migrate whitespace tslint rule
|
2020-03-28 07:34:49 -07:00 |
|
|
Daniel Imms
|
8475f95b19
|
Disable naming convention on CoreMouseService
Until #2787 gets looked at
|
2020-03-28 07:04:21 -07:00 |
|
|
Daniel Imms
|
88a50d3779
|
Fix most rules
|
2020-03-28 06:51:36 -07:00 |
|
 Jörg Breitbart
|
0c703276b1
|
fix behavior, first BS tests
|
2020-02-17 12:22:53 +01:00 |
|
|
Daniel Imms
|
3d2d35f5b6
|
Pull render service off instantiation service safely
|
2020-02-04 07:01:25 -08:00 |
|
|
Daniel Imms
|
489d8110c9
|
Move windowOptions into public API part
|
2020-02-04 06:53:17 -08:00 |
|
|
Daniel Imms
|
58047e8b82
|
Merge branch 'master' into window_manipulation
|
2020-02-04 06:33:54 -08:00 |
|
|
Daniel Imms
|
4a567c9f5a
|
Remove old unused options from codebase
Fixes #2675
|
2020-02-03 10:56:46 -08:00 |
|
|
Daniel Imms
|
de9df12ea9
|
Merge remote-tracking branch 'ups/master' into pr/jerch/2393
|
2020-02-03 10:34:26 -08:00 |
|
|
Daniel Imms
|
3bd0cb9a15
|
Merge branch 'master' into updated_wcwidth
|
2020-02-03 10:22:29 -08:00 |
|
|
Daniel Imms
|
d5bf8966d9
|
Remove ; and : from default wordSeparator
Fixes #2665
|
2020-02-02 05:10:57 -08:00 |
|
|
Jörg Breitbart
|
7d8c0268ea
|
remove unicodeVersion from options
|
2020-01-07 00:29:48 +01:00 |
|
|
Jörg Breitbart
|
df4b07f9f2
|
type fixes & docs
|
2020-01-04 14:47:14 +01:00 |
|
|
Jörg Breitbart
|
84608256ea
|
Merge branch 'master' into window_manipulation
|
2019-12-21 17:11:12 +01:00 |
|
|
Jörg Breitbart
|
825cc006e5
|
Merge branch 'master' into updated_wcwidth
|
2019-12-21 15:28:38 +01:00 |
|
|
Daniel Imms
|
dc61fae12a
|
Move applicationKeypad into core service
|
2019-12-18 11:23:57 +11:00 |
|
|
Daniel Imms
|
dada7fe728
|
Move origin mode into core service
|
2019-12-18 11:20:36 +11:00 |
|
|
Daniel Imms
|
bff74b1d7d
|
Move wraparound mode into core service modes
|
2019-12-18 11:16:27 +11:00 |
|
|
Daniel Imms
|
224fb5c6a2
|
Move charset into own service
|
2019-12-18 10:53:05 +11:00 |
|
|
Daniel Imms
|
05e1cd8478
|
Move charset logic into core service
|
2019-12-18 10:32:38 +11:00 |
|
|
jerch
|
512076898d
|
Merge branch 'master' into window_manipulation
|
2019-12-08 18:58:57 +01:00 |
|
|
Daniel Imms
|
05f1887559
|
Merge branch 'master' into updated_wcwidth
|
2019-12-07 13:32:13 -08:00 |
|
|
Daniel Imms
|
79ea49cafd
|
Floor cursorWidth to ensure it's an integer
|
2019-12-07 13:25:59 -08:00 |
|
 Nick Pezza
|
70c8f8733a
|
Sanitize cursorWidth option
|
2019-12-07 15:42:33 -05:00 |
|
|
Nick Pezza
|
97dc61e65f
|
s/cursorBarWidth/cursorWidth
|
2019-12-07 15:40:02 -05:00 |
|
|
Jörg Breitbart
|
be3f3da532
|
Merge branch 'master' into window_manipulation
|
2019-12-07 12:26:31 +01:00 |
|
|
Jörg Breitbart
|
92ac99e878
|
cleanup
|
2019-12-06 20:41:24 +01:00 |
|
|
Jörg Breitbart
|
43303ba4c1
|
add interfaces and option handling
|
2019-12-05 21:30:59 +01:00 |
|
|
Jörg Breitbart
|
31ccb796ac
|
Merge branch 'master' into updated_wcwidth
|
2019-12-05 15:45:52 +01:00 |
|
|
Jörg Breitbart
|
3395ccb943
|
UnicodeService & provider
|
2019-12-05 15:42:55 +01:00 |
|
|
Nick Pezza
|
c630b92772
|
Allow the thickness of the bar cursor to be configured
|
2019-11-30 14:40:45 -05:00 |
|
|
Jörg Breitbart
|
a574591481
|
Merge branch 'updated_wcwidth' of github.com:jerch/xterm.js into updated_wcwidth
|
2019-11-26 02:04:36 +01:00 |
|
|
Jörg Breitbart
|
435d480cf1
|
unicode service stub
|
2019-11-26 01:59:10 +01:00 |
|
|
Daniel Imms
|
25f2e66222
|
Include ` in word separators
See microsoft/vscode#84483
|
2019-11-25 07:36:06 -08:00 |
|
|
jerch
|
7f26b04ea1
|
Merge branch 'master' into window_manipulation
|
2019-11-16 00:05:42 +01:00 |
|
|
jerch
|
f81cca67eb
|
Merge branch 'master' into updated_wcwidth
|
2019-11-16 00:03:45 +01:00 |
|
|
Jörg Breitbart
|
aca6d24e96
|
change to v11, expose unicodeVersion, fix linkifier
|
2019-11-15 18:08:17 +01:00 |
|
|
Jörg Breitbart
|
c7ad4aa460
|
terminal option unicodeVersion
|
2019-11-15 13:33:28 +01:00 |
|
|
Daniel Imms
|
cc9f649e3a
|
Merge branch 'master' into 322_minimum_contrast
|
2019-11-14 20:14:17 -08:00 |
|
|
jerch
|
6cc6cb5ffd
|
Merge branch 'master' into window_manipulation
|
2019-11-14 22:43:51 +01:00 |
|
|
Jörg Breitbart
|
57fe84508c
|
apply empty report rule to all encodings; comments added
|
2019-11-14 22:29:46 +01:00 |
|
|
Jörg Breitbart
|
7ad2a68052
|
cleanup
|
2019-11-14 13:05:24 +01:00 |
|
|
Jörg Breitbart
|
8991ed8270
|
simplify options
|
2019-11-14 12:59:48 +01:00 |
|
|
Jörg Breitbart
|
45d1139ab0
|
windowOptions on ctor options
|
2019-11-14 12:20:59 +01:00 |
|
|
Jörg Breitbart
|
eeb9270882
|
change WindowOptions type
|
2019-11-14 11:23:21 +01:00 |
|
|
Jörg Breitbart
|
f1f103850c
|
fix tests; fix attach addon
|
2019-11-14 00:48:16 +01:00 |
|