David Lechner 42f96b4ca0 terminal/Terminal: work around xterm cursor style issue ...

Since updating to Blueprintjs 5.x we can get aliasing artifacts on the
cursor due to bad rendering of box-shadow. This overrides it with
border instead.

https://github.com/xtermjs/xterm.js/issues/4580

2023-07-05 11:06:45 -05:00

..

translations

i18n: use babel-loader plugin

2022-03-25 15:54:04 -05:00

actions.ts

actions: refactor actions

2022-02-25 17:58:30 -06:00

i18n.ts

i18n: use automatic type inference of translation keys

2022-07-22 13:48:50 -05:00

sagas.test.ts

add support for Pybricks Profile v1.3.0

2023-04-19 13:03:48 -05:00

sagas.ts

add support for Pybricks Profile v1.3.0

2023-04-19 13:03:48 -05:00

terminal.scss

terminal/Terminal: work around xterm cursor style issue

2023-07-05 11:06:45 -05:00

Terminal.tsx

terminal/Terminal: work around xterm cursor style issue

2023-07-05 11:06:45 -05:00

TerminalContext.ts

move terminal dataSource to context

2021-02-01 10:26:05 -06:00