alohaeditor/Aloha-Editor — pull request #722 by csupnig (2012-09-13 13:30:44+00:00)
Title: abbr-plugin: We added a remove abbreviation button to make the functiona...

...lity more consistent with the wai-lang plugin.