If the override is named default.php, it will take effect automatically. If it's something else (like your case), you have to select the file in the article layout tab and once you do, It should provide the layout you need. Ability to override layouts is a Joomla functionality and Astroid can't break it.
If you like our support and products, tweet us at joomdev and let the world know about it.
JoomDev is not affiliated with or endorsed by Open Source Matters or the Joomla! Project. The Joomla! logo is used under a limited license granted by Open Source Matters the trademark holder in the United States and other countries.