Integrated up-down buttons with ace editor, closes #5