# HG changeset patch # User wenzelm # Date 1430486330 -7200 # Node ID 392e5aae334870c3f8ee41885894b47a5fee38ee # Parent 4e8d8baa491c299a1ab3074a41862ef7a39aa702 updated screenshot; diff -r 4e8d8baa491c -r 392e5aae3348 src/Doc/JEdit/document/query.png Binary file src/Doc/JEdit/document/query.png has changed