onDoubleClick property
Stream<MouseEvent>
onDoubleClick
Fired when a mouse is double-clicked. You can preventDefault the event to signal that CodeMirror should do no further handling.
Implementation
Stream<MouseEvent> get onDoubleClick =>
onEvent('dblclick', argCount: 2).cast<MouseEvent>();