https://sourceforge.net/p/jedit/MacOS/Recent changes to MacOS repository in jedit projectenWed, 29 May 2019 20:30:47 -0000https://sourceforge.net/p/jedit/MacOS/ci/e8e31ea2c65ae6947a9c25de2d040fe209473a96/<div class="markdown_content"><p>Clarified required version.<br/><a href="/p/jedit/MacOS/ci/e8e31ea2c65ae6947a9c25de2d040fe209473a96/">View Changes</a></p></div>MakariusWed, 29 May 2019 20:30:47 -0000https://sourceforge.net/p/jedit/MacOS/ci/e8e31ea2c65ae6947a9c25de2d040fe209473a96/https://sourceforge.net/p/jedit/MacOS/ci/ab18798a2e79da1a526e60630f783268cecb24dc/<div class="markdown_content"><p>Tuned description and documentation.<br/><a href="/p/jedit/MacOS/ci/ab18798a2e79da1a526e60630f783268cecb24dc/">View Changes</a></p></div>MakariusWed, 29 May 2019 17:22:45 -0000https://sourceforge.net/p/jedit/MacOS/ci/ab18798a2e79da1a526e60630f783268cecb24dc/https://sourceforge.net/p/jedit/MacOS/ci/f1d5e666f4fc51c52f371d947b5d98825243cae9/<div class="markdown_content"><p>Renamed to MacOS (again), i.e. capitalized version of "macOS".<br/><a href="/p/jedit/MacOS/ci/f1d5e666f4fc51c52f371d947b5d98825243cae9/">View Changes</a></p></div>MakariusWed, 29 May 2019 17:22:45 -0000https://sourceforge.net/p/jedit/MacOS/ci/f1d5e666f4fc51c52f371d947b5d98825243cae9/https://sourceforge.net/p/jedit/MacOS/ci/a7143a94d854a0f9553448b88931600bdf6d1b7d/<div class="markdown_content"><p>Update to Java 11 according to Isabelle/src/Tools/jEdit/patches/macosx 3e45a3cf1059.<br/><a href="/p/jedit/MacOS/ci/a7143a94d854a0f9553448b88931600bdf6d1b7d/">View Changes</a></p></div>MakariusWed, 29 May 2019 17:22:45 -0000https://sourceforge.net/p/jedit/MacOS/ci/a7143a94d854a0f9553448b88931600bdf6d1b7d/https://sourceforge.net/p/jedit/MacOS/ci/a18d0f5635f57ccec0747829dc2ac53e4d665099/<div class="markdown_content"><p>Remove useQuartz option since it is always on in java7<br/><a href="/p/jedit/MacOS/ci/a18d0f5635f57ccec0747829dc2ac53e4d665099/">View Changes</a></p></div>ezustWed, 29 May 2019 17:22:45 -0000https://sourceforge.net/p/jedit/MacOS/ci/a18d0f5635f57ccec0747829dc2ac53e4d665099/https://sourceforge.net/p/jedit/MacOS/ci/669fcbc786a8e1238fe9dcc6162f9ebbd5f79732/<div class="markdown_content"><p>remove warnings<br/><a href="/p/jedit/MacOS/ci/669fcbc786a8e1238fe9dcc6162f9ebbd5f79732/">View Changes</a></p></div>ezustWed, 29 May 2019 17:22:45 -0000https://sourceforge.net/p/jedit/MacOS/ci/669fcbc786a8e1238fe9dcc6162f9ebbd5f79732/https://sourceforge.net/p/jedit/MacOS/ci/49836f4e3033e71eb7e8a3ffaeffa7151dcd56be/<div class="markdown_content"><p>Use combined options instead of global options.<br/><a href="/p/jedit/MacOS/ci/49836f4e3033e71eb7e8a3ffaeffa7151dcd56be/">View Changes</a></p></div>ezustWed, 29 May 2019 17:22:45 -0000https://sourceforge.net/p/jedit/MacOS/ci/49836f4e3033e71eb7e8a3ffaeffa7151dcd56be/https://sourceforge.net/p/jedit/MacOS/ci/c5b55952347e83f5fdf3b10e859defe30bad95f2/<div class="markdown_content"><p>Docs.<br/><a href="/p/jedit/MacOS/ci/c5b55952347e83f5fdf3b10e859defe30bad95f2/">View Changes</a></p></div>ezustWed, 29 May 2019 17:22:45 -0000https://sourceforge.net/p/jedit/MacOS/ci/c5b55952347e83f5fdf3b10e859defe30bad95f2/https://sourceforge.net/p/jedit/MacOS/ci/260f7aae687a56bc4bf8970192a9dd53274e43c0/<div class="markdown_content"><p>Only set modifiers to macos default if they were previously swapped. Only swap if property is set. never println to stderr, properly log errors and exceptions.<br/><a href="/p/jedit/MacOS/ci/260f7aae687a56bc4bf8970192a9dd53274e43c0/">View Changes</a></p></div>ezustWed, 29 May 2019 17:22:45 -0000https://sourceforge.net/p/jedit/MacOS/ci/260f7aae687a56bc4bf8970192a9dd53274e43c0/https://sourceforge.net/p/jedit/MacOS/ci/c07311b62dccdffa3ce72e127e924f5fb26307a2/<div class="markdown_content"><p>Extra parans<br/><a href="/p/jedit/MacOS/ci/c07311b62dccdffa3ce72e127e924f5fb26307a2/">View Changes</a></p></div>ezustWed, 29 May 2019 17:22:45 -0000https://sourceforge.net/p/jedit/MacOS/ci/c07311b62dccdffa3ce72e127e924f5fb26307a2/