[ jEdit-devel ] [ jedit-Plugin Patches-2343134 ] Templates: fix Enter key handling in dockable


Thread view