Skip to content

Commit

Permalink
Optional.IsEmpty() replaced with .IsPresent()
Browse files Browse the repository at this point in the history
  • Loading branch information
mpyat2 committed Nov 12, 2023
1 parent 593e0e1 commit 267cf1e
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -225,7 +225,7 @@ private JPanel createPluginsList() {
@Override
public void actionPerformed(ActionEvent e) {
Optional<ObservationSourcePluginBase> plugin = getSelectedPlugin();
Help.openPluginHelp(!plugin.isEmpty() ? plugin.get().getDocName() : null);
Help.openPluginHelp(plugin.isPresent() ? plugin.get().getDocName() : null);
}
});

Expand Down

0 comments on commit 267cf1e

Please sign in to comment.