paredit icon indicating copy to clipboard operation
paredit copied to clipboard
verified publisher icon odyssomay

view.show(region) after movement command

Open fbehrens opened this issue 11 years ago • 0 comments

This updates the viewport when the cursor (selection) is moving out the viewport

fbehrens avatar Aug 16 '14 21:08 fbehrens