alohaeditor/Aloha-Editor — pull request #731 by csupnig (2012-09-25 15:02:34+00:00)
Title: abbr-plugin: We added a remove abbreviation button to make the functiona...

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