Fix #144: add settings to change line height in editor