Po Lu <luangruo@yahoo.com> writes:

> Here is an updated patch that fixes this, and also fixes a few crashes
> with the context menu.  (Again, totally untested on macOS)

And here's a new patch with some other problems fixed (such as broken
mouse face display, tab bar grab reporting and some crashes in nsmenu).
And hopefully a working though ugly solution for fixing the tool bar
height on GNUstep.  Thanks.