Document line numbers overlay and add GUI method to configure
This is a completion of !730 (merged). In that MR a feature to overlay line numbers was introduced. In this MR it is also documented and gets a GUI for configuring.
This is a completion of !730 (merged). In that MR a feature to overlay line numbers was introduced. In this MR it is also documented and gets a GUI for configuring.