refer to color by HTML name in commandline arguments

This commit is contained in:
Zeno Rogue
2021-10-17 09:18:31 +02:00
parent 9d26e98fcd
commit 839ca440ea
8 changed files with 60 additions and 19 deletions
+1 -1
View File
@@ -934,7 +934,7 @@ int expansion_readArgs() {
else if(argis("-expansion-labelcolor")) {
dist_label_colored = false;
shift(); dist_label_color = arghex();
shift(); dist_label_color = argcolor(24);
}
else if(argis("-expansion-off")) {