Fix #180162. Turn off design mode after searching. (#180166)

This commit is contained in:
Peng Lyu 2023-04-17 14:09:15 -07:00 committed by GitHub
parent 88072ceeb4
commit 1fbcf29f9a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1225,6 +1225,8 @@ async function webviewPreloads(ctx: PreloadContext) {
viewModel.toggleDragDropEnabled(currentOptions.dragAndDropEnabled);
document.designMode = 'Off';
postNotebookMessage('didFind', {
matches: matches.map((match, index) => ({
type: match.type,