|
|
| version 1.1, 2003/11/21 06:51:11 | version 1.2, 2003/11/24 07:40:01 |
|---|---|
| Line 917 void keydisp_getsize(int *width, int *he | Line 917 void keydisp_getsize(int *width, int *he |
| if (width) { | if (width) { |
| *width = KEYDISP_WIDTH; | *width = KEYDISP_WIDTH; |
| } | } |
| if (*height) { | if (height) { |
| *height = (getdispkeys() * KEYDISP_KEYCY) + 1; | *height = (getdispkeys() * KEYDISP_KEYCY) + 1; |
| } | } |
| keydisp.dispflag &= ~KEYDISP_FLAGSIZING; | keydisp.dispflag &= ~KEYDISP_FLAGSIZING; |