I have found a bug in the bookmark management:
1. Load / Paste any text.
2. Place a bookmark somewhere
3. Create a new line at the beginning of the bookmarked line
4. Create a new line at the end of the bookmarked line, and the bookmark will always follow the caret to the new line
The bug reproducable, and I have not found any workaround yet. The bug exists even in the sample applet on the homepage.
I have no idea how to avoid this. I would be grateful for any advice.
java version "1.7.0_25"
OpenJDK Runtime Environment (IcedTea 2.3.10) (7u25-2.3.10-1ubuntu0.12.04.2)
OpenJDK Server VM (build 23.7-b01, mixed mode)