358 |
if ev.getType() != ev.MOUSE_CLICKED: |
if ev.getType() != ev.MOUSE_CLICKED: |
359 |
return 1 |
return 1 |
360 |
|
|
361 |
if not (ev.getModifiers() in [ev.BUTTON1_MASK, ev.BUTTON3_MASK]): |
if not (ev.getButton() in [1, 3]): |
362 |
return 1 |
return 1 |
363 |
|
|
364 |
if isinstance(link[0].getView2D(), ff.view.PageScrollView2D): |
if isinstance(link[0].getView2D(), ff.view.PageScrollView2D): |
365 |
mgr.singles[0].followLinkFromManager(link, single) |
mgr.singles[0].followLinkFromManager(link, single) |
366 |
elif ev.getModifiers() == ev.BUTTON1_MASK: |
elif ev.getButton() == 1: |
367 |
single.followLink(link) |
single.followLink(link) |
368 |
else: |
else: |
369 |
if mgr.singles[0] == single: |
if mgr.singles[0] == single: |