workcraft
workcraft copied to clipboard
Write log messages into a file
Currently all the messages and warnings are logged in the Output tab. However, as soon as the content of the Output tab is cleared (via popup menu), the log is lost. To make the log more persistent all the messages should be also written into a log file. The log file can be created in temporary directory with a link shown at Output tab header.