log src/xmenu.c @ 99030:e948893870c3

age author description
Thu, 18 Sep 2008 18:13:09 +0000 Chong Yidong (menu_position_func): Use x_display_pixel_height and