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 |
|
Daniel Imms
|
3f53f0ed29
|
Remove describe.only
|
2019-07-25 10:57:03 -07:00 |
|
Logan Ramos
|
dcb39a658c
|
Case sensitivity enabled
|
2019-07-25 10:41:55 -07:00 |
|
Logan Ramos
|
6869184864
|
More RegEx tests
|
2019-07-25 10:39:11 -07:00 |
|
Logan Ramos
|
bb4c694f8d
|
More search tests
|
2019-07-25 10:33:33 -07:00 |
|
Logan Ramos
|
badfac2091
|
Merge branch 'lramos15/searchaddon-change' into search-tests
|
2019-07-25 09:10:06 -07: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
|
9ff5dc5858
|
Merge remote-tracking branch 'origin/lramos15/searchaddon-change' into search-tests
|
2019-07-24 15:33:26 -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
|
7860dccdcf
|
Search addon tests
|
2019-07-24 14:53:14 -07:00 |
|
Logan Ramos
|
ab9e92fcf1
|
Initial search tests
|
2019-07-19 17:45:39 -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
|
989610e8c3
|
Webpack the addons
|
2019-06-10 14:28:07 -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 |
|