alohaeditor/Aloha-Editor — pull request #601 by csupnig (2012-07-19 10:23:40+00:00)
Title: Numerated headers 50702

fixed the following problems in numerated header plugin
- annotations were not removed when headers were converted to paragraphs
- spaces were added to the heading causing some problems when converting headings to paragraphs
- made some changes to the plugin that were suggested by jslint