fix fast refresh waveform
Merge pull request #192 from giorgio130/master

Fixes for higher DPI; make the X easier to reach.
fix delChar decreasing charpos on blank charlist
disable double tap detection by default in gesture detector
since the gesture detector will block the main thread
(the only thread in the lua part) for 300 ms on each tap
waiting for the arrival of the second tap, it makes the whole
application less responsive. 300 ms of latency is well perceived
in this case. This patch will simply disable double tap detection by
default as no widget now handles double_tap gestures. We could
temporarily enable double tap detection when this gesture is indeed
needed after.
disable double tap detection in keyboard widget
remove double_tap processing code in keyboard
update koreader-base
Merge pull request #191 from chrox/master

fix fast refresh waveform