Marshall Bowers c3110d3dce Rename BellBadged to BellDot (#6820) ...

This PR renames the `BellBadged` icon to `BellDot` to be a bit clearer
as to what its contents are.

Release Notes:

- N/A

2024-01-26 18:48:16 -05:00

..

contexts

Fix annoying system prompt

2023-05-29 21:47:59 -06:00

fonts

Remove unused font

2024-01-24 13:14:47 +01:00

icons

Rename BellBadged to BellDot (#6820)

2024-01-26 18:48:16 -05:00

keymaps

Update JetBrains keymap

2024-01-24 00:34:26 -05:00

settings

Add Deno LSP support (#5816)

2024-01-25 17:44:51 -08:00

sounds

Update collaboration sounds, add sounds to screensharing

2023-07-04 16:18:42 -04:00

themes

Remove VS Code themes (#4139)

2024-01-18 17:52:22 -05:00