Le 23/03/19 à 09h52, Siep Kroonenberg a écrit : > It may help to know that it replaces `Errors' for the output of the > stderr log window. Well, sorry but that doesn't help me: why does it replace what errors that appear in which circumstances? :) -- Denis