joschabach/micropsi2 — pull request #35 by Doik (2014-06-23 19:51:30+00:00)
Title: Logging.

this introduces logging to the client, and offers a seperate monitoring view where gate-monitors and the log-messages are displayed.

Monitors can now be deleted, and the logging UI can set logging levels, and select any of nodenet, world and system loggers