The problem with editor

Hi Ziv,
Thanks for the answer. Today the bug is not observed. I hope this was a temporary problem.