Minor edit: fix double spaces

This commit is contained in:
Xiaoyin Liu
2020-04-01 17:47:08 +08:00
committed by GitHub
parent bcb825fb02
commit c20d3e43d2
@@ -139,7 +139,7 @@ public class LookAndFeelPlugin extends Plugin implements FrontEndOnly, OptionsCh
int choice = OptionDialog.showYesNoDialog(null, "Change Look and Feel?", "The '" +
USE_INVERTED_COLORS_NAME + "' setting works best with the " +
"'Metal' Look and Feel.\nWould you like to switch to that Look and Feel upon restart?");
"'Metal' Look and Feel.\nWould you like to switch to that Look and Feel upon restart?");
if (choice == OptionDialog.YES_OPTION) {
SystemUtilities.runSwingLater(() -> {