these are actually optionals

codemirror/codemirror.d.ts

@@ -793,7 +793,7 @@ declare module CodeMirror {
         clearOnEnter?: boolean;
 
         /** Determines whether the mark is automatically cleared when it becomes empty. Default is true. */
-        clearWhenEmpty: boolean;
+        clearWhenEmpty?: boolean;
         
         /** Use a given node to display this range.Implies both collapsed and atomic.
         The given DOM node must be an inline element(as opposed to a block element). */
@@ -803,7 +803,7 @@ declare module CodeMirror {
          * 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;
+        handleMouseEvents?: boolean;
         
         /** A read - only span can, as long as it is not cleared, not be modified except by calling setValue to reset the whole document.
         Note: adding a read - only span currently clears the undo history of the editor,
@@ -823,7 +823,7 @@ declare module CodeMirror {
         css?: string;
 
         /** When given, will give the nodes created for this span a HTML title attribute with the given value. */
-        title: string;
+        title?: string;
         
         /** When the target document is linked to other documents, you can set shared to true to make the marker appear in all documents.
         By default, a marker appears only in its target document. */