Add preferences to enable displaying whitespace (tabs, spaces, nbsp and newlines).
Options allow to choose locations (leading, inside text, trailing) of whitespace to display and to disable rendering of newline chars.
That's typically a feature casual users would't want by default but programmers
would.
Since it only affects programming languages (not plain text), enable it by default.
* Add a minimap
Add support for GtkSourceViews SourceMap object. Add both a default setting for
new files to the preferences dialog and a menu item to allow temporarily
disabling it in any view.
* Require gtk and gtksourceview 3.18
* load custom css
We can use this to make small tweaks to the interface so every theme doesn't
need to add specific support.
Make use of this new css to clean up the styling of the new overview map frame
a bit.
The current handling of settings is a very roundabout leftover from the days of
gconf. Simplify and handle the setting more directly. At the same time move
handling of saving the window state to gsettings instead of saving it to a
config file.
okaestne
Clement Lefebvre
JosephMcc