Add replace multi space to single
Dieser Commit ist enthalten in:
Ursprung
31df594797
Commit
b95ecb93b0
@ -114,6 +114,7 @@ public class ScriptListener implements Listener {
|
||||
|
||||
for (String page : bookMeta.getPages()) {
|
||||
for (String command : page.split("\n")) {
|
||||
command = command.replaceAll(" +", " ");
|
||||
if (command.startsWith("#") || command.trim().isEmpty()) continue;
|
||||
if (command.startsWith(".")) {
|
||||
jumpPoints.put(command.substring(1), commands.size());
|
||||
|
In neuem Issue referenzieren
Einen Benutzer sperren