Bug fix in restoring editor size.