navigator properly ignores irrelevant mouse up events
Merge pull request #31 from andywolff/devel

navigator properly ignores irrelevant mouse up events