updated screenshots;
authorwenzelm
Sun, 17 Jan 2021 23:48:55 +0100
changeset 73390 661e9bc0411e
parent 73389 c98a2f82b950
child 73391 9dafcf6f152b
updated screenshots;
src/Doc/JEdit/document/auto-tools.png
src/Doc/JEdit/document/bibtex-mode.png
src/Doc/JEdit/document/isabelle-jedit.png
src/Doc/JEdit/document/markdown-document.png
src/Doc/JEdit/document/ml-debugger.png
src/Doc/JEdit/document/output-and-state.png
src/Doc/JEdit/document/output-including-state.png
src/Doc/JEdit/document/output.png
src/Doc/JEdit/document/popup1.png
src/Doc/JEdit/document/popup2.png
src/Doc/JEdit/document/query.png
src/Doc/JEdit/document/scope1.png
src/Doc/JEdit/document/scope2.png
src/Doc/JEdit/document/sidekick-document.png
src/Doc/JEdit/document/sidekick.png
src/Doc/JEdit/document/sledgehammer.png
src/Doc/JEdit/document/theories.png
Binary file src/Doc/JEdit/document/auto-tools.png has changed
Binary file src/Doc/JEdit/document/bibtex-mode.png has changed
Binary file src/Doc/JEdit/document/isabelle-jedit.png has changed
Binary file src/Doc/JEdit/document/markdown-document.png has changed
Binary file src/Doc/JEdit/document/ml-debugger.png has changed
Binary file src/Doc/JEdit/document/output-and-state.png has changed
Binary file src/Doc/JEdit/document/output-including-state.png has changed
Binary file src/Doc/JEdit/document/output.png has changed
Binary file src/Doc/JEdit/document/popup1.png has changed
Binary file src/Doc/JEdit/document/popup2.png has changed
Binary file src/Doc/JEdit/document/query.png has changed
Binary file src/Doc/JEdit/document/scope1.png has changed
Binary file src/Doc/JEdit/document/scope2.png has changed
Binary file src/Doc/JEdit/document/sidekick-document.png has changed
Binary file src/Doc/JEdit/document/sidekick.png has changed
Binary file src/Doc/JEdit/document/sledgehammer.png has changed
Binary file src/Doc/JEdit/document/theories.png has changed