IDE: Fix printing

22 months ago, Edouard Tisserant