Thank you for sharing the video.
I’m afraid that it’s by design as the editor is a web-based implementation where it’s hard to handle very large text.
Editing 200-300 lines of notes works smoothly on my Android phone, and I guess it’s a sufficient performance for the most use-cases.
Since it’s hard to resolve the performance issue at the moment, I hope you split them into multiple notes.
Just wanted to stress the importance of performance improvements on Android for the future. I just had the unpleasant experience of typing in a word and waiting 10 seconds for it to show up on-screen - letter by letter. It’s a very bad look for a premium-priced note-taking app.
I love Inkdrop on my Windows & Linux Desktops and appreciate the ability to check my notes on the run with the Android version but editing on Android is pretty much unusable for me.