From c72caf82d2088bc502215af39d1590430477a8b3 Mon Sep 17 00:00:00 2001
From: mihailik <mihailik@gmail.com>
Date: Wed, 26 Jun 2013 00:16:05 +0200
Subject: [PATCH] Incorrect `number` type for `autofocus` option, should be
 `boolean`.

---
 codemirror/codemirror.d.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/codemirror/codemirror.d.ts b/codemirror/codemirror.d.ts
index 9a3db7147..03dc2878f 100644
--- a/codemirror/codemirror.d.ts
+++ b/codemirror/codemirror.d.ts
@@ -679,7 +679,7 @@ declare module CodeMirror {
         /** Can be used to make CodeMirror focus itself on initialization. Defaults to off.
         When fromTextArea is used, and no explicit value is given for this option, it will be set to true when either the source textarea is focused,
         or it has an autofocus attribute and no other element is focused. */
-        autofocus?: number;
+        autofocus?: boolean;
 
         /** Controls whether drag-and - drop is enabled. On by default. */
         dragDrop?: boolean;