Merge tag '0.2.4' into develop

Version 0.2.4
Rewrite render thread as request based system

ZathuraRenderer is a thread pool rendering the pages. Every page widget holds a
ZathuraRenderRequest instance to request its page to be rendered. This object
can also be used to abort the request in case the page is not visible anymore.

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
Save some forks

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
Merge branch 'develop' of pwmt.org:zathura into develop
Move recolor state to the renderer

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
Merge branch 'develop' into feature/renderer-take-2
Add a callback for the signal

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
Emit signal from main context

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
Don't loop

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
Mark the request as done in the signal emitter

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
Clean up includes

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
We don't need zathura

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
Move recolor code into separate function

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
Sort requests based on last view time again

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
Set recolor info initially

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
Abort requests if the page becomes invisible

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
Fix deprecated gdk thread function calls

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
Make the X clipboard buffer configurable

This patch adds a new configuration setting, selection-clipboard, which allows
us to choose between the PRIMARY selection, and the CLIPBOARD selection, for
determining which X clipboard to use for storing mouse-selected data. It has
only two valid values: "primary" and "clipboard", with "clipboard" being set as
the it's default value.

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
Use primary selection as before

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
Use signals for selected images and text

The page widget shouldn't have to care what should be done with selected images
and text.

Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>