fix long standing annoyance with property tab in scripteditor