Scrolling/keeping textArea down (episode III)

[Benoît Minisini <benoit.minisini@xxxxxxxxxxxxxxxx>]

Hi,

I have just committed a dirty hacky fix to workaround the utterly stupid 
broken design of the GTK3+ GtkTextView widget used for implementing the 
TextArea control.

I had to use private GTK+3 structures, so it may break in older or 
future releases of GTK+3 different than mine.

You will tell me, and I will adapt the fix if problems arise.

Regards,

--
Benoît Minisini.