The animation used for hiding/showing the fullscreen toolbar is totally broken
under HiDPI. Port to GtkRevealer and GtkEventBox to get the proper behaviour.
* 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.
Get rid of the text and switch all icons to slightly smaller symoblic icons.
This will allow it to behave much better with dark gtk themes. Replace the
recent documents button with a button for file open. Changing the style of
the buttons on the main toolbar also effects the fullscreen toolbar so
update this as well to use a matching layout.
The search dialog is replaced with a searchbar similar to the one used in Sublime.
The following features are implicit and therefore removed:
- "incremental search"
- "remove highlights"
- "parse \n characters"
Code style is applied to impacted files (should have been done in a separate commit but it was being discussed during WIP and the new committed code followed neither the new style nor the old).
Tomasz Gąsior
JosephMcc
Clement Lefebvre