Scroll per pixel is nicer and highlighting sections is not useful. Elide
mode is now set in the UI file. Also, set a minimum height so that it
doesn't go too small.

Reviewed-by: Christian Kandeler