ajaxorg/ace — pull request #540 by zefhemel (2011-11-30 11:01:25+00:00)
Title: Avoids multiple duplicate messages in the gutter title

If multiple annotations have the same message, only one will be shown when hovering over the gutter annotation.

@sergi @fjakobs