Fix #159: add option to show invisibles in editor