fdorg/flashdevelop — pull request #443 by Gama11 (2014-10-16 15:28:16+00:00)
Title: Hide AIR properties button / menu item instead of disabling them

As far as I'm concerned, you don't need to know these exist if you're not currently in an AIR project - can't do anything with them anyway, it's just wasted UI space. :)