01-14-2021, 11:53 AM
Another suggestion which just came to my mind: Would it be possible to add a "debug level" integer parameter to (note ...), with some default value, and a corresponding option to the Ludii preferences? The idea would be that one could give a certain level of urgency to messages, and print them to the status window only if their urgency is above a user-defined threshold.