Add Code Monster & Code Maven to real-world uses
when checking whether the wrapper element is still part of the DOM, check all the way up to the document body
Fix memory leak

The window.onresize handlers registered for each editor would prevent
them from ever getting collected.
Note release 3.02
Apply CodeMirror-focused class to wrapper, not scroller

Closes #1183
Remove debugging code accidentally left in
Stop using named function expressions

IE<9 does some truly messed-up things when it sees these.

Another great JS feature banished for the foreseeable future by
the bunglers in Redmont, sigh.
Force gutter width recomputation when clearing the display caches
Allow using local minifier in bin/compress without dying from blob check
[foldcode addon] Fix off-by-one error when determining brace type in braceRangeFinder

Closes #1185
Fix bug in widget-redrawing-prevention hack

See 67a54297b7aa92072c2434554a0211070b514411

Closes #1184
Modified addWidget logic to modify the "near" vertical positioning to default to positioning the element below the position, and added "above" vertical positioning to default to sticking the widget above the pos instead
[addWidget] Restore 'over' vertical position, make the default placement below the char again

Issue #1189
[scrollTo] Use the curOp.updateScrollPos functionality

This removes some duplicate code, and delays the scrolling to the next display update
which makes it less likely to interfere with other actions in unexpected ways.
Add Code Snippets to real-world uses
[matchbrackets addon] Work around IE7 bug

Where it mysteriously makes the editor stop working (typed input no longer goes to
textarea) whenever highlighting fires.

Issue #1193
Work around IE7/8 magical DOM node replacement bug

Issue #1194
[doc tests] Fix test runner for IE regexp quirk

Issue #1194
Fix widget-reusing code

Issue #1187