Print the diff when Ctrl+P is pressed. (Closes issue #342) : "Print" facility for Unified Diff
(Closes issue #429) : Allow to dismiss notifications with mouse right click button pressed hover notification ballon
* Search the changed paths as well when filtering * allow to filter by multiple words, not just one (Closes issue #430) : Enhancement request: smart filter
set pitch and family but leave font name empty: let the system chose the best font (Fixes issue #438) : Korean output issue
version.in: Add missing #pragma once directive.
(Closes issue #426) : Indentation of changed source lines
Update serf to v1.2.1
update Scintilla to v3.3.3
Update to SQLite 3.7.17
update Scintilla to v3.3.2
