Domagoj Kriskovic da2f7ff153 Store editor selection on a per-user rather than per-project basis (#16246) ... * Store editor selection on a per-user rather than per-project basis * set code editor if rich_text=false * format fix GitOrigin-RevId: 8efc33b682de211162e674839e6b891ec04e542e		2023-12-19 09:04:31 +00:00
..
components	Improve forceDisconnected state change handling (#16271)	2023-12-18 09:04:39 +00:00
connection
context
editor
hooks
scope-adapters	Store editor selection on a per-user rather than per-project basis (#16246)	2023-12-19 09:04:31 +00:00
scope-event-emitter
scope-value-store
types
util
create-ide-event-emitter.ts