The problem is related to the title bar and border width. It does not happen on my PC, but my title bar is anyway different. But I see no difference between 7.84 and 7.85. Are you sure that 7.84 behaves different, or have you changed your desktop theme inbetween?
