[ jEdit-devel ] A Component that doesn't disappear in a dockable panel


Thread view