Pressing F5 seems to verify the current file even if the IDE is configured to verify packages
Pressing F5 seems to verify the current file even if the IDE is configured to verify packages