Eugene Pankov 137dd0bbe8 profile editor, env vars editor, creating profiles from shell list

2018-12-18 15:08:23 +01:00

..

components

profile editor, env vars editor, creating profiles from shell list

2018-12-18 15:08:23 +01: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

profile settings tab

2018-12-16 17:09:35 +01:00

icons

SVG icons

2018-08-09 15:13:31 +02:00

services

profile editor, env vars editor, creating profiles from shell list

2018-12-18 15:08:23 +01:00

shells

migrate back to stock rage-edit

2018-12-15 14:27:12 +01:00

api.ts

profile settings tab

2018-12-16 17:09:35 +01:00

bell.ogg

proper visual bell (fixes #131)

2017-07-23 20:55:41 +02:00

bufferizedPTY.js

perf: reduced pty bufferization window

2018-11-10 21:10:47 +01:00

buttonProvider.ts

added CLI option to paste text into terminal

2018-09-23 16:33:57 +02:00

colorSchemes.ts

ignore Hyper theme errors

2018-01-19 15:53:14 +01:00

config.ts

profile settings tab

2018-12-16 17:09:35 +01:00

hotkeys.ts

hotkeys for specific shells

2018-10-12 17:59:22 +02:00

hterm.ts

possibly fixed cursor blink interval overlaps (fixes #216)

2018-10-05 10:24:28 +01:00

hterm.userCSS.scss

UI tweaks

2018-10-22 15:44:12 +02:00

index.ts

profile editor, env vars editor, creating profiles from shell list

2018-12-18 15:08:23 +01:00

pathDrop.ts

naming

2018-08-26 13:23:57 +02:00

recoveryProvider.ts

simpler tab recovery system

2018-12-16 15:42:04 +01:00

settings.ts

profile editor, env vars editor, creating profiles from shell list

2018-12-18 15:08:23 +01:00