Fixed issue #1624: Easier navigation in revision graph with mouse