Yes, and also explain why you need it. The dev team will want to know so they can improve the theme editor.
Alright.
