dart-lang/chromedeveditor — pull request #3159 by devoncarew (2014-08-16 04:38:27+00:00)
Title: work around mouse cursor issue

Work around https://github.com/dart-lang/chromedeveditor/issues/2805. This still leaves the underline on an element, but the mouse cursor is no longer stuck on the hand. Might need changes to ace for a real fix.

@umop