# HG changeset patch
# User wenzelm
# Date 1554932125 -7200
# Node ID 2337a6bc5e4128644eba1b8f651003e37cd17830
# Parent  96a2f134f0b5be11bbebf7705e89062a8eea8f56
updated screenshots;

diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/auto-tools.png
Binary file src/Doc/JEdit/document/auto-tools.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/bibtex-mode.png
Binary file src/Doc/JEdit/document/bibtex-mode.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/cite-completion.png
Binary file src/Doc/JEdit/document/cite-completion.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/isabelle-jedit-hdpi.png
Binary file src/Doc/JEdit/document/isabelle-jedit-hdpi.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/markdown-document.png
Binary file src/Doc/JEdit/document/markdown-document.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/ml-debugger.png
Binary file src/Doc/JEdit/document/ml-debugger.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/output-and-state.png
Binary file src/Doc/JEdit/document/output-and-state.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/output-including-state.png
Binary file src/Doc/JEdit/document/output-including-state.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/output.png
Binary file src/Doc/JEdit/document/output.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/popup1.png
Binary file src/Doc/JEdit/document/popup1.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/popup2.png
Binary file src/Doc/JEdit/document/popup2.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/query.png
Binary file src/Doc/JEdit/document/query.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/scope1.png
Binary file src/Doc/JEdit/document/scope1.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/scope2.png
Binary file src/Doc/JEdit/document/scope2.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/sidekick-document.png
Binary file src/Doc/JEdit/document/sidekick-document.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/sidekick.png
Binary file src/Doc/JEdit/document/sidekick.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/sledgehammer.png
Binary file src/Doc/JEdit/document/sledgehammer.png has changed
diff -r 96a2f134f0b5 -r 2337a6bc5e41 src/Doc/JEdit/document/theories.png
Binary file src/Doc/JEdit/document/theories.png has changed