Skip to content

CodeQL model editor: user should be able to stop modeling before the main editor view is open#3189

Merged
norascheuch merged 5 commits intomainfrom
nora/make-model-editor-open-cancellable
Jan 5, 2024
Merged

CodeQL model editor: user should be able to stop modeling before the main editor view is open#3189
norascheuch merged 5 commits intomainfrom
nora/make-model-editor-open-cancellable

Commits

Commits on Jan 3, 2024

Commits on Jan 4, 2024

Commits on Jan 5, 2024