Primitives to set internal border width and font now update the window
authorChris Hanson <org/chris-hanson/cph>
Tue, 11 Feb 1992 18:58:03 +0000 (18:58 +0000)
committerChris Hanson <org/chris-hanson/cph>
Tue, 11 Feb 1992 18:58:03 +0000 (18:58 +0000)
commitbd8314d62bab55ef2cff3c24b35f3987be2dc6ad
treef6ee559829c851946fd902177c52ead5bbd9a7d6
parent90fa7b4c9fad759dbf0fb77eb83c45730d27d7da
Primitives to set internal border width and font now update the window
manager's "normal" hints, so that subsequent resizing works properly.
v7/src/microcode/x11.h
v7/src/microcode/x11base.c
v7/src/microcode/x11graph.c
v7/src/microcode/x11term.c