alohaeditor/Aloha-Editor — pull request #617 by csupnig (2012-07-26 15:08:56+00:00)
Title: fixed a bug in the headerids plugin that the ids were not generated when...

... getContents was called