alohaeditor/Aloha-Editor — pull request #913 by maschonber (2013-04-30 14:50:52+00:00)
Title: Add tooltip for toggling numerated headers

including German and English translations for the button