Improved outline for Markdown editor and HTML editor.

Bio7 · Mar 5, 2021 · 01bab14 · 01bab14
1 parent 16614dc
commit 01bab14
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/com.eco.bio7.browser/src/com/eco/bio7/browser/editor/XMLEditor.java b/com.eco.bio7.browser/src/com/eco/bio7/browser/editor/XMLEditor.java
@@ -548,6 +548,7 @@ public void outlineInputChanged(Vector nodesALt, Vector nodesNew) {
 					/* The default expand level! */
 					contentOutlineViewer.expandToLevel(2);
 					control.setRedraw(true);
+					control.redraw();
 				}
 			}
 		}
@@ -646,7 +647,9 @@ public void run() {
 					tree.setRedraw(false);
 					try {
 
+						/* The default expand level! */
 						getTreeViewer().collapseAll();
+						contentOutlineViewer.expandToLevel(2);
 
 					} finally {
 						tree.setRedraw(true);

diff --git a/com.eco.bio7.markdownedit/src/com/eco/bio7/markdownedit/editors/MarkdownEditor.java b/com.eco.bio7.markdownedit/src/com/eco/bio7/markdownedit/editors/MarkdownEditor.java
@@ -376,6 +376,7 @@ public void outlineInputChanged(Vector nodesALt, Vector nodesNew) {
 					/* The default expand level! */
 					contentOutlineViewer.expandToLevel(2);
 					control.setRedraw(true);
+					control.redraw();
 				}
 			}
 		}
@@ -473,7 +474,9 @@ public void run() {
 					tree.setRedraw(false);
 					try {
 
+						/* The default expand level! */
 						getTreeViewer().collapseAll();
+						contentOutlineViewer.expandToLevel(2);
 
 					} finally {
 						tree.setRedraw(true);