Open lucasicf opened 10 years ago
It keeps the editor busy trying to scroll up/down when reaching top/bottom. I'll send a patch to fix this and wait for review.
Plugin is great, but I'm kind of experiencing this 6 years later ;)
It keeps the editor busy trying to scroll up/down when reaching top/bottom. I'll send a patch to fix this and wait for review.