@@ -123,21 +123,6 @@ public JabRefFrame(Stage mainStage,
123
123
this .clipBoardManager = clipBoardManager ;
124
124
this .taskExecutor = taskExecutor ;
125
125
126
- this .fileHistory = new FileHistoryMenu (
127
- this .preferences .getLastFilesOpenedPreferences ().getFileHistory (),
128
- dialogService ,
129
- getOpenDatabaseAction ());
130
-
131
- this .setOnKeyTyped (key -> {
132
- if (this .fileHistory .isShowing ()) {
133
- if (this .fileHistory .openFileByKey (key )) {
134
- this .fileHistory .getParentMenu ().hide ();
135
- }
136
- }
137
- });
138
-
139
- fileHistory .disableProperty ().bind (Bindings .isEmpty (fileHistory .getItems ()));
140
-
141
126
setId ("frame" );
142
127
143
128
// Create components
@@ -187,6 +172,21 @@ public JabRefFrame(Stage mainStage,
187
172
this .preferences ,
188
173
taskExecutor );
189
174
175
+ this .fileHistory = new FileHistoryMenu (
176
+ this .preferences .getLastFilesOpenedPreferences ().getFileHistory (),
177
+ dialogService ,
178
+ getOpenDatabaseAction ());
179
+
180
+ fileHistory .disableProperty ().bind (Bindings .isEmpty (fileHistory .getItems ()));
181
+
182
+ this .setOnKeyTyped (key -> {
183
+ if (this .fileHistory .isShowing ()) {
184
+ if (this .fileHistory .openFileByKey (key )) {
185
+ this .fileHistory .getParentMenu ().hide ();
186
+ }
187
+ }
188
+ });
189
+
190
190
initLayout ();
191
191
initKeyBindings ();
192
192
frameDndHandler .initDragAndDrop ();
@@ -450,8 +450,11 @@ private void updateTabBarVisible() {
450
450
* Returns the currently viewed LibraryTab.
451
451
*/
452
452
public LibraryTab getCurrentLibraryTab () {
453
- return (LibraryTab ) Optional .ofNullable (tabbedPane .getSelectionModel ().getSelectedItem ())
454
- .filter (tab -> tab instanceof LibraryTab ).orElse (null );
453
+ if (tabbedPane .getSelectionModel ().getSelectedItem () == null
454
+ || !(tabbedPane .getSelectionModel ().getSelectedItem () instanceof LibraryTab )) {
455
+ return null ;
456
+ }
457
+ return (LibraryTab ) tabbedPane .getSelectionModel ().getSelectedItem ();
455
458
}
456
459
457
460
public void showLibraryTab (@ NonNull LibraryTab libraryTab ) {
@@ -465,24 +468,24 @@ public void showWelcomeTab() {
465
468
tabbedPane .getSelectionModel ().select (tab );
466
469
return ;
467
470
}
468
-
469
- // If the WelcomeTab is not found, a new instance is created and added
470
- WelcomeTab welcomeTab = new WelcomeTab (
471
- this ,
472
- preferences ,
473
- aiService ,
474
- dialogService ,
475
- stateManager ,
476
- fileUpdateMonitor ,
477
- entryTypesManager ,
478
- undoManager ,
479
- clipBoardManager ,
480
- taskExecutor ,
481
- fileHistory
482
- );
483
- tabbedPane .getTabs ().add (welcomeTab );
484
- tabbedPane .getSelectionModel ().select (welcomeTab );
485
471
}
472
+
473
+ // If the WelcomeTab is not found, a new instance is created and added
474
+ WelcomeTab welcomeTab = new WelcomeTab (
475
+ this ,
476
+ preferences ,
477
+ aiService ,
478
+ dialogService ,
479
+ stateManager ,
480
+ fileUpdateMonitor ,
481
+ entryTypesManager ,
482
+ undoManager ,
483
+ clipBoardManager ,
484
+ taskExecutor ,
485
+ fileHistory
486
+ );
487
+ tabbedPane .getTabs ().add (welcomeTab );
488
+ tabbedPane .getSelectionModel ().select (welcomeTab );
486
489
}
487
490
488
491
/**
0 commit comments