Thorsten Ball 533416c5a9 terminal: Make CursorShape configurable (#18530) ...

This builds on top of @Yevgen's #15840 and combines it with the settings
names introduced in #17572.

Closes #4731.

Release Notes:

- Added a setting for the terminal's default cursor shape. The setting
is `{"terminal": {"cursor_shape": "block"}}``. Possible values: `block`,
`bar`, `hollow`, `underline`.

Demo:


https://github.com/user-attachments/assets/96ed28c2-c222-436b-80cb-7cd63eeb47dd

2024-09-30 12:38:57 +02:00

..

default.json

terminal: Make CursorShape configurable (#18530)

2024-09-30 12:38:57 +02:00

initial_local_settings.json

Fix broken link in initial settings (#15119)

2024-07-25 08:25:27 -04:00

initial_tasks.json

docs: Fix shell setting doc (#17208)

2024-09-03 13:19:42 -04:00

initial_user_settings.json

Note in initial_user_settings.json how to access the command palette (#17854)

2024-09-15 19:45:48 -04:00