@andrew:
Today I deleted the old cookie-file and changed the two files I patched before (as described by Robert here in this thread) back to the original ones. Now the editor size seems to work perfect. It “remembers” the size of the edor window and doesn’t “explode” to giant size as before.
Deleting the old cookie-file solved – as far as I can see in the moment – the problem for me now.
