Branch: refs/heads/master Home: https://github.com/xwiki-contrib/wiki-editor-devtools Commit: e6bb4e0b2b4422b8f069c1029dddec42712b759d https://github.com/xwiki-contrib/wiki-editor-devtools/commit/e6bb4e0b2b4422b... Author: Simon Urli <[email protected]> Date: 2025-11-04 (Tue, 04 Nov 2025) Changed paths: M editor-tool-highlighting/editor-tool-highlighting-ui-code/src/main/resources/SyntaxHighlighting/SyntaxHighlighting.xml Log Message: ----------- WIKIEDITOR-97: Wiki editor jumps to top after save or tab switch * Ensure to save the scroll position and restore it when triggering the change event To unsubscribe from these emails, change your notification settings at https://github.com/xwiki-contrib/wiki-editor-devtools/settings/notifications