diff --git a/doc/compress.html b/doc/compress.html index a100f9b965..cd4d41bac8 100644 --- a/doc/compress.html +++ b/doc/compress.html @@ -170,7 +170,7 @@

{ } CodeMi -

+

with UglifyJS diff --git a/doc/internals.html b/doc/internals.html index 9139528f3d..4336ba4d1c 100644 --- a/doc/internals.html +++ b/doc/internals.html @@ -50,7 +50,7 @@

{ } CodeMi integrated into about a thousand systems by now. The most prominent one, since a few weeks, being Google -code's project hosting. It works, and it's being used widely. +code's project hosting. It works, and it's being used widely.

Still, I did not start replacing it because I was bored. CodeMirror 1 was heavily reliant on designMode diff --git a/doc/manual.html b/doc/manual.html index 4a601f2709..5244fce777 100644 --- a/doc/manual.html +++ b/doc/manual.html @@ -1177,6 +1177,7 @@

Widget, gutter, and decoration methods

the height of the line that contains the widget. +

Sizing, scrolling and positioning methods

diff --git a/doc/oldrelease.html b/doc/oldrelease.html index f97a65a8cb..b51e93c328 100644 --- a/doc/oldrelease.html +++ b/doc/oldrelease.html @@ -335,7 +335,7 @@

{ } CodeMi faster, smaller, simpler to use, and less dependent on browser quirks. See this and this - for more information. + for more information.

28-03-2011: Version 1.0:

22-02-2011: Version 2.0 beta 2:

-

Somewhat more mature API, lots of bugs shaken out. +

Somewhat more mature API, lots of bugs shaken out.

17-02-2011: Version 0.94: