#838 Overflow of description in tactic profile editor

[Guillaume Verdier]

In the tactic profile editor, if we select a tactic with a long description (for example Clarify goal) and if the window is relatively small (on a small screen or if we resize it), the description does not fit in its box and there is no scroll bar.
The text widget should be resized correctly instead of overflowing and should be scrollable.