| .. |
|
api
|
@typescript-eslint linter
|
2019-06-14 23:47:48 +02:00 |
|
components
|
@typescript-eslint linter
|
2019-06-14 23:47:48 +02:00 |
|
fonts
|
provide a fallback monospace font for characters missing in user's font (fixes #112)
|
2017-07-15 18:15:49 +02:00 |
|
frontends
|
possible fix for #729
|
2019-06-19 17:27:08 +02:00 |
|
icons
|
shell icons
|
2019-05-17 23:48:59 +02:00 |
|
services
|
@typescript-eslint linter
|
2019-06-14 23:47:48 +02:00 |
|
shells
|
@typescript-eslint linter
|
2019-06-14 23:47:48 +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
|
@typescript-eslint linter
|
2019-06-14 23:47:48 +02:00 |
|
colorSchemes.ts
|
@typescript-eslint linter
|
2019-06-14 23:47:48 +02:00 |
|
config.ts
|
@typescript-eslint linter
|
2019-06-14 23:47:48 +02:00 |
|
contextMenu.ts
|
@typescript-eslint linter
|
2019-06-14 23:47:48 +02:00 |
|
hotkeys.ts
|
@typescript-eslint linter
|
2019-06-14 23:47:48 +02:00 |
|
index.ts
|
@typescript-eslint linter
|
2019-06-14 23:47:48 +02:00 |
|
pathDrop.ts
|
@typescript-eslint linter
|
2019-06-14 23:47:48 +02:00 |
|
recoveryProvider.ts
|
prep other plugins for typedoc
|
2019-03-07 02:05:26 +01: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
|
proper font fallback support (fixes #1041)
|
2019-06-08 22:37:05 +02:00 |
