release-3.1.5 protected
dbf7e4e9 · Reintroduce a logger widget (shamelessly stolen from the old implementation) ·