Eric Cornelissen 90f15cc1e3 Add option to use bold text in terminals (#183) ...

* Add option to use bold text in terminals

... as per #182

* Add BoldText to setting defaults

2019-01-28 21:57:36 +01:00

..

src

Add option to use bold text in terminals (#183)

2019-01-28 21:57:36 +01:00

.gitignore

Removed generated files from repository and added to .gitignore

2018-02-03 22:45:17 +01:00

package-lock.json

update xterm to 3.10.1

2019-01-08 19:27:47 +01:00

package.json

update xterm to 3.10.1

2019-01-08 19:27:47 +01:00

webpack.config.js

initial commit

2018-01-23 22:58:40 +01:00