From: ezust <ez...@us...> - 2024-05-09 14:09:39
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "ProjectViewer jEdit plugin". The branch, master has been updated via 95a2058e915a25d4bcfc7ef5136fc7c30f75d566 (commit) from f725f9ee2f88be6bd9a2975fe13ebe78a3626229 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit: https://sourceforge.net/p/jedit/ProjectViewer/ci/95a2058e915a25d4bcfc7ef5136fc7c30f75d566/ tree: https://sourceforge.net/p/jedit/ProjectViewer/ci/95a2058e915a25d4bcfc7ef5136fc7c30f75d566/tree/ commit 95a2058e915a25d4bcfc7ef5136fc7c30f75d566 Author: Alan Ezust <ez...@us...> Date: Thu May 9 07:09:26 2024 -0700 changelog entry for 3.6 diff --git a/docs/CHANGELOG.txt b/docs/CHANGELOG.txt index da88de9..a301258 100755 --- a/docs/CHANGELOG.txt +++ b/docs/CHANGELOG.txt @@ -15,12 +15,19 @@ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ -{{{ Version 3.7 requires jEdit 5.6, JDK 11, CommonControlsPlugin 1.7.4, ErrorList 2.3, InfoViewer 1.6.3 +{{{ Version 3.7 + Requires jEdit 5.6, JDK 11, CommonControlsPlugin 1.7.4, ErrorList 2.3, InfoViewer 1.6.3 Compatibility bugfixes for jEdit 5.7 Fix for bug 4092, search in directory issue. Updated German language }}} +{{{ Version 3.6 + Defer focusing on tree node until UI is updated. + Other focus improvements. + Emits NodeChanged under more circumstances. +}}} + {{{Version 3.5.4 Requires jEdit 5.0, CommonControls 1.7.3, ErrorList 2.3, InfoViewer 1.6 and Java 1.7. - Plugin Patch#181: Fix re-importing files with custom file filter [Edward Diener] ----------------------------------------------------------------------- Summary of changes: docs/CHANGELOG.txt | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) hooks/post-receive -- ProjectViewer jEdit plugin |