Answer window sometimes cuts off responses

[i-loder-matthew]

Using 2.6 with windows.

For some exercises, predicate abstraction response option. Able to drag top of divider window to reveal this option. But would be useful to autosize the response window so one needn't search for a missing answer option.