Version 15: March 19, 2019 01:28:01 AM

Make large RichTextBoxes editable again (#30)

To illustrate what this change does, consider the screenshot below, which shows borders around the text boxes and the entire table:

![image](https://user-images.githubusercontent.com/2456381/54572622-d1373b00-49a5-11e9-82be-a6fa1193e601.png)

Previously, the text box for Grammarian would not be editable. But now, thanks to the extra space to its right, it is possible to click into it and edit the text.