editor: remember state of developer panel