From 319e33d32a1829c320aba26d5cd541ca1ca922fd Mon Sep 17 00:00:00 2001 From: andrejak Date: Wed, 22 Jan 2020 17:40:48 +0000 Subject: [PATCH] codemirror: add missing LineWidgetOptions properties (#41687) --- types/codemirror/index.d.ts | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/types/codemirror/index.d.ts b/types/codemirror/index.d.ts index cdab73d972..67a891f22c 100644 --- a/types/codemirror/index.d.ts +++ b/types/codemirror/index.d.ts @@ -820,6 +820,15 @@ declare namespace CodeMirror { above?: boolean; /** When true, will cause the widget to be rendered even if the line it is associated with is hidden. */ showIfHidden?: boolean; + /** Determines whether the editor will capture mouse and drag events occurring in this widget. + Default is false—the events will be left alone for the default browser handler, or specific handlers on the widget, to capture. */ + handleMouseEvents?: boolean; + /** By default, the widget is added below other widgets for the line. + This option can be used to place it at a different position (zero for the top, N to put it after the Nth other widget). + Note that this only has effect once, when the widget is created. */ + insertAt?: number; + /** Add an extra CSS class name to the wrapper element created for the widget. */ + className?: string; } interface EditorChange {