Malik GlossopandCopybot
ae5e3543c5
Hide other menus when right-click context menu opens GitOrigin-RevId: c7a2126ec58ed69520f31ba20fa450a6f1524a3f
6 lines
250 B
TypeScript
6 lines
250 B
TypeScript
import { StateEffect } from '@codemirror/state'
|
|
|
|
// Effect used to ask any loaded menu/tooltip extension to close itself.
|
|
// Used to ensure only one context menu is open at a time.
|
|
export const closeAllContextMenusEffect = StateEffect.define<null>()
|