Problems window now gets properly hidden when no Randori projects or modules are active
Merge pull request #58 from rolandzwaga/develop

Problems window now gets properly hidden when no Randori projects or mod...