src/Tools/jEdit/patches/docking
changeset 57978 8f4a332500e4
parent 56936 6dd8866eca69
child 59571 1081f91c0662