Merge pull request #168 from kigeia/unstable

Prevent redrawing same document or same page upon mouse selection
Fix function rename bug