api
|
strict null checks
|
2019-09-18 20:56:59 +02:00 |
components
|
Change search options to not be static/global
|
2019-10-13 21:51:40 -04:00 |
frontends
|
Use stable xterm element API
|
2019-10-03 11:15:48 -07:00 |
icons
|
shell icons
|
2019-05-17 23:48:59 +02:00 |
services
|
strict null checks
|
2019-09-18 20:56:59 +02:00 |
shells
|
strict null checks
|
2019-09-18 20:56:59 +02:00 |
bell.ogg
|
proper visual bell (fixes #131)
|
2017-07-23 20:55:41 +02:00 |
bufferizedPTY.js
|
node-pty proper import
|
2019-05-24 20:02:22 +02:00 |
buttonProvider.ts
|
strict null checks
|
2019-09-18 20:56:59 +02:00 |
colorSchemes.ts
|
strict null checks
|
2019-09-18 20:56:59 +02:00 |
contextMenu.ts
|
fix lint
|
2019-07-24 17:09:08 -07:00 |
hotkeys.ts
|
@typescript-eslint linter
|
2019-06-14 23:47:48 +02:00 |
index.ts
|
strict null checks
|
2019-09-18 20:56:59 +02:00 |
pathDrop.ts
|
strict null checks
|
2019-09-18 20:56:59 +02:00 |
recoveryProvider.ts
|
strict null checks
|
2019-09-18 20:56:59 +02:00 |
settings.ts
|
prep other plugins for typedoc
|
2019-03-07 02:05:26 +01:00 |
tabContextMenu.ts
|
@typescript-eslint linter
|
2019-06-14 23:47:48 +02:00 |
utils.ts
|
fallback font setting (#324)
|
2019-08-27 16:45:01 +02:00 |