[ jEdit-devel ] [ jedit-Bugs-457073 ] editor freezes when entering an operator


Thread view