Commit Graph

2 Commits

Author SHA1 Message Date
Johannes Rieken
8006b8c9a4 make getEditorById strict 2021-06-07 17:47:34 +02:00
Johannes Rieken
10442e00b4 extract ExtHostNotebookEditorShape into its own thing 2021-06-07 16:25:03 +02:00