Dont show selection bar during drag scroll

This commit is contained in:
Kovid Goyal 2020-07-28 19:20:35 +05:30
parent 7f275c8dc4
commit 86debe8dd0
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
2 changed files with 3 additions and 1 deletions

View File

@ -583,6 +583,8 @@ class IframeBoss:
def onmouseup(self, evt):
cancel_drag_scroll()
drag_mouse_position.x = drag_mouse_position.y = None
# ensure selection bar is updated
self.onselectionchange()
def onkeydown(self, evt):
if current_layout_mode() is not 'flow' and evt.key is 'Tab':

View File

@ -171,7 +171,7 @@ class SelectionBar:
container = self.container
clear(container)
cs = self.view.currently_showing.selection
if not cs or cs.empty:
if not cs or cs.empty or jstype(cs.drag_mouse_position.x) is 'number':
return self.hide()
if not cs.start.onscreen and not cs.end.onscreen: