diff oldXMenu/X10.h @ 37270:9bf32a648127

(window_internal_height): Return 1 less if the window has a header line.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 09 Apr 2001 12:35:37 +0000
parents bbce331da1be
children 23a1cea22d13
line wrap: on
line diff