diff -r 5a4ed4c2c72b -r ff385454adaa src/Doc/JEdit/document/popup4.png
Binary file src/Doc/JEdit/document/popup4.png has changed