Allow users to specify whether or not the headers are visible
feature/gplugin-gtk-view-cleanups
2019-11-07, Gary Kramlich