Problems window now gets properly hidden when no Randori projects or modules are active