Refresh compilation problems (Problems section) from the ORG. The use case it's the following: - Deploy Done and workspace created as well. - Perform several changes from other tool and run an Ant deploy from Terminal. - I understand that this "deploy" from an external tool (terminal) will not update the "Problems" section in Intellij idea but...maybe you can put a new button to refresh problems from the ORG, to get "actual problems".
Issue #302 new