From 3fec48671c4ac609460caad022d0166aaf6fec0c Mon Sep 17 00:00:00 2001 From: ghidravore Date: Mon, 13 Jul 2020 16:17:59 -0400 Subject: [PATCH] Removed blank tips of the day. --- .../java/ghidra/app/plugin/core/totd/TipOfTheDayPlugin.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/totd/TipOfTheDayPlugin.java b/Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/totd/TipOfTheDayPlugin.java index ba8169e98b..353faf4687 100644 --- a/Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/totd/TipOfTheDayPlugin.java +++ b/Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/totd/TipOfTheDayPlugin.java @@ -18,6 +18,7 @@ package ghidra.app.plugin.core.totd; import java.io.IOException; import java.io.InputStream; import java.util.*; +import java.util.stream.Collectors; import docking.ActionContext; import docking.action.DockingAction; @@ -82,7 +83,8 @@ public class TipOfTheDayPlugin extends Plugin implements FrontEndOnly { private List loadTips() throws IOException { try (InputStream in = getClass().getResourceAsStream("tips.txt")) { - return in == null ? Collections.emptyList() : FileUtilities.getLines(in); + List tips = in == null ? Collections.emptyList() : FileUtilities.getLines(in); + return tips.stream().filter(s -> s.length() > 0).collect(Collectors.toList()); } }