Assistant's text box size

Jonas Lengauer

Let us adjust the height of the input boxes for the notes in bible study and other guiding assistants. It would save us a lot of scrolling when notes become long.