Skip to content

Commit e6bf282

Browse files
committed
hide window when not on top
1 parent 087cc95 commit e6bf282

File tree

2 files changed

+5
-1
lines changed

2 files changed

+5
-1
lines changed

CHANGELOG.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -91,6 +91,7 @@ Note that this project **does not** adhere to [Semantic Versioning](https://semv
9191
- We improved nested scrolling for the web search tab in the preferences dialog [#13791](https://github.com/JabRef/jabref/pull/13791)
9292
- We improved the event viewer for debugging [#13783](https://github.com/JabRef/jabref/pull/13783).
9393
- We improved "REDACTED" replacement of API key value in web fetcher search URL [#13796](https://github.com/JabRef/jabref/issues/13796)
94+
- When the pin "Keep dialog always on top" in the global search dialog is selected, the search window stays open when double-clicking on an entry. [#13840](https://github.com/JabRef/jabref/issues/13840)
9495

9596
### Fixed
9697

jabgui/src/main/java/org/jabref/gui/search/GlobalSearchResultDialog.java

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -97,7 +97,10 @@ private void initialize() {
9797

9898
stateManager.activeSearchQuery(SearchType.NORMAL_SEARCH).set(stateManager.activeSearchQuery(SearchType.GLOBAL_SEARCH).get());
9999
stateManager.activeTabProperty().get().ifPresent(tab -> tab.clearAndSelect(selectedEntry.getEntry()));
100-
stage.close();
100+
101+
if (!keepOnTop.isSelected()) {
102+
stage.hide();
103+
}
101104
}
102105
});
103106

0 commit comments

Comments
 (0)