[ jEdit-devel ] [ jedit-Bugs-1386702 ] EditBus: not sending DockableWindowUpdate messages


Thread view