[ jEdit-devel ] [ jedit-Bugs-510633 ] session: cursor pos lost (current buffer


Thread view