From 7d1e0a731c9ffdc3b1845784aea61de2249b6014 Mon Sep 17 00:00:00 2001 From: TruongQuangSB Date: Fri, 6 Mar 2026 14:02:24 +0100 Subject: [PATCH 1/2] Footnote scrollable, when > 10 --- .../set/basis/constants/ToolboxConstants.java | 5 +++++ .../set/feature/table/ToolboxTableView.java | 15 ++++++++++----- 2 files changed, 15 insertions(+), 5 deletions(-) diff --git a/java/bundles/org.eclipse.set.basis/src/org/eclipse/set/basis/constants/ToolboxConstants.java b/java/bundles/org.eclipse.set.basis/src/org/eclipse/set/basis/constants/ToolboxConstants.java index 4454fb2e5..528b40dd9 100644 --- a/java/bundles/org.eclipse.set.basis/src/org/eclipse/set/basis/constants/ToolboxConstants.java +++ b/java/bundles/org.eclipse.set.basis/src/org/eclipse/set/basis/constants/ToolboxConstants.java @@ -379,6 +379,11 @@ public interface CacheId { */ public static final String EXAMPLE_PROJECT_1_10_0_3 = "PPHN_01-02_IbnZ2AeM_2026-02-02_17-47.planpro"; + /** + * The minimum of footnotes count to active horizontal scroll + */ + public static final int FOOTNOTE_ACTIVE_SCROLL_MINIMUM = 10; + /** * The tolerance value between TOP_Kante length and the sum of GEO_Kanten * length, which belong to this TOP_Kante (in Meter) diff --git a/java/bundles/org.eclipse.set.feature.table/src/org/eclipse/set/feature/table/ToolboxTableView.java b/java/bundles/org.eclipse.set.feature.table/src/org/eclipse/set/feature/table/ToolboxTableView.java index 79d203327..ca1401205 100644 --- a/java/bundles/org.eclipse.set.feature.table/src/org/eclipse/set/feature/table/ToolboxTableView.java +++ b/java/bundles/org.eclipse.set.feature.table/src/org/eclipse/set/feature/table/ToolboxTableView.java @@ -420,7 +420,12 @@ private void updateFootnotes() { startOffset += text.length() + 1; } - + if (lines.size() > ToolboxConstants.FOOTNOTE_ACTIVE_SCROLL_MINIMUM) { + GridDataFactory.fillDefaults() + .grab(true, true) + .minSize(-1, 300) + .applyTo(tableFooting); + } tableFooting.setText(StringUtils.join(lines, "\n")); //$NON-NLS-1$ tableFooting.setStyleRanges(styles.toArray(new StyleRange[0])); } @@ -555,14 +560,14 @@ protected void createView(final Composite parent) { bodyLayerStack.getSelectionLayer().clear(); // display footnotes - tableFooting = new StyledText(parent, SWT.MULTI); - tableFooting.setBackground(GRAY_BACKGROUND); - updateFootnotes(); - tableFooting.setEditable(false); + tableFooting = new StyledText(parent, SWT.MULTI | SWT.V_SCROLL); GridDataFactory.fillDefaults() .grab(true, false) .minSize(-1, 500) .applyTo(tableFooting); + tableFooting.setBackground(GRAY_BACKGROUND); + updateFootnotes(); + tableFooting.setEditable(false); // export action getBanderole().setExportAction(new SelectableAction() { From 94f18314ab49146e4981f73a7f838809640cafdc Mon Sep 17 00:00:00 2001 From: Quang Truong Date: Mon, 9 Mar 2026 14:08:09 +0100 Subject: [PATCH 2/2] Visible scroll by necessary --- .../src/org/eclipse/set/feature/table/ToolboxTableView.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/java/bundles/org.eclipse.set.feature.table/src/org/eclipse/set/feature/table/ToolboxTableView.java b/java/bundles/org.eclipse.set.feature.table/src/org/eclipse/set/feature/table/ToolboxTableView.java index ca1401205..d39d6cb1e 100644 --- a/java/bundles/org.eclipse.set.feature.table/src/org/eclipse/set/feature/table/ToolboxTableView.java +++ b/java/bundles/org.eclipse.set.feature.table/src/org/eclipse/set/feature/table/ToolboxTableView.java @@ -423,7 +423,6 @@ private void updateFootnotes() { if (lines.size() > ToolboxConstants.FOOTNOTE_ACTIVE_SCROLL_MINIMUM) { GridDataFactory.fillDefaults() .grab(true, true) - .minSize(-1, 300) .applyTo(tableFooting); } tableFooting.setText(StringUtils.join(lines, "\n")); //$NON-NLS-1$ @@ -566,6 +565,7 @@ protected void createView(final Composite parent) { .minSize(-1, 500) .applyTo(tableFooting); tableFooting.setBackground(GRAY_BACKGROUND); + tableFooting.setAlwaysShowScrollBars(false); updateFootnotes(); tableFooting.setEditable(false);