 Logan Ramos
|
f3d8e74d6f
|
Remove forgotten console .log
|
2019-08-16 10:55:16 -04:00 |
|
|
Logan Ramos
|
85444def9f
|
Don't scroll terminal search result if within viewport
|
2019-08-16 10:50:44 -04:00 |
|
|
Logan Ramos
|
a1be1f0b35
|
Code cleanup
|
2019-07-25 09:02:32 -07:00 |
|
|
Logan Ramos
|
ea72a3b594
|
Fix incremental search bug
|
2019-07-25 08:50:37 -07:00 |
|
|
Logan Ramos
|
d104f39a9d
|
Incremental previous search
|
2019-07-24 16:01:07 -07:00 |
|
|
Logan Ramos
|
f3f52e6920
|
Changed default Search Addon behavior
|
2019-07-24 15:30:09 -07:00 |
|
|
Logan Ramos
|
cae3d59e23
|
Change search addon behavior
|
2019-07-24 15:09:59 -07:00 |
|
|
Logan Ramos
|
345bf11389
|
Remove extra import
|
2019-07-02 15:57:23 -07:00 |
|
|
Logan Ramos
|
60c2248cb4
|
Centers scroll in viewport
|
2019-07-02 15:09:30 -07:00 |
|
 Daniel Imms
|
031fbde580
|
Turn on TS strict in search addon
Fixes #2163
|
2019-06-04 23:37:12 -07:00 |
|
|
Daniel Imms
|
be2c29c95a
|
Remove old redeclared xterm types in search addon
|
2019-06-04 23:19:26 -07:00 |
|
|
Daniel Imms
|
d4be839d8d
|
Remove @xtermjs package scope
Too big of a change for now, I think we should do this when/if we
move to GH package registry (we would have to I think).
|
2019-06-04 11:07:11 -07:00 |
|