This is an automated email from the ASF dual-hosted git repository.
hansva pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/hop.git
The following commit(s) were added to refs/heads/main by this push:
new 4e754dab65 Issues #6630, #6632 (#6634)
4e754dab65 is described below
commit 4e754dab65dc8da693f20240f7ea2c74adc2daca
Author: Matt Casters <[email protected]>
AuthorDate: Fri Feb 20 14:27:20 2026 +0100
Issues #6630, #6632 (#6634)
* Issues #6632 : native sizing for terminal
* Issues #6630 : The git info tab no longer opens
---------
Co-authored-by: Matt Casters <[email protected]>
---
.../hopgui/perspective/explorer/ExplorerPerspective.java | 15 ++++++++++++++-
.../apache/hop/ui/hopgui/terminal/JediTerminalWidget.java | 3 ++-
2 files changed, 16 insertions(+), 2 deletions(-)
diff --git
a/ui/src/main/java/org/apache/hop/ui/hopgui/perspective/explorer/ExplorerPerspective.java
b/ui/src/main/java/org/apache/hop/ui/hopgui/perspective/explorer/ExplorerPerspective.java
index 585b9ff258..45a3ee9b91 100644
---
a/ui/src/main/java/org/apache/hop/ui/hopgui/perspective/explorer/ExplorerPerspective.java
+++
b/ui/src/main/java/org/apache/hop/ui/hopgui/perspective/explorer/ExplorerPerspective.java
@@ -1147,6 +1147,18 @@ public class ExplorerPerspective implements
IHopPerspective, TabClosable {
return null;
}
+ protected TabItemHandler findTabItemHandler(String filename, IHopFileType
fileType) {
+ if (filename != null) {
+ for (TabItemHandler item : items) {
+ if (filename.equals(item.getTypeHandler().getFilename())
+ && fileType.equals(item.getTypeHandler().getFileType())) {
+ return item;
+ }
+ }
+ }
+ return null;
+ }
+
/**
* Close tabs for the given filenames (e.g. after files are deleted by
revert or external delete).
* Only tabs whose handler filename exactly matches one of the given
filenames are closed.
@@ -1249,7 +1261,8 @@ public class ExplorerPerspective implements
IHopPerspective, TabClosable {
// Select and show tab item
//
- TabItemHandler handler =
this.findTabItemHandler(fileTypeHandler.getFilename());
+ TabItemHandler handler =
+ this.findTabItemHandler(fileTypeHandler.getFilename(),
fileTypeHandler.getFileType());
if (handler != null) {
tabFolder.setSelection(handler.getTabItem());
tabFolder.showItem(handler.getTabItem());
diff --git
a/ui/src/main/java/org/apache/hop/ui/hopgui/terminal/JediTerminalWidget.java
b/ui/src/main/java/org/apache/hop/ui/hopgui/terminal/JediTerminalWidget.java
index b57b75e54e..d6203fca5c 100644
--- a/ui/src/main/java/org/apache/hop/ui/hopgui/terminal/JediTerminalWidget.java
+++ b/ui/src/main/java/org/apache/hop/ui/hopgui/terminal/JediTerminalWidget.java
@@ -175,7 +175,8 @@ public class JediTerminalWidget implements ITerminalWidget {
}
}
- final int targetFontSize = Math.round(swtFontSize * fontScale);
+ float nativeZoomFactor = (float) PropsUi.getNativeZoomFactor();
+ final int targetFontSize = Math.round(swtFontSize * fontScale *
nativeZoomFactor);
return new DefaultSettingsProvider() {
@Override