3624 |
* Get the width of the page number, leave room for three dots... |
3624 |
* Get the width of the page number, leave room for three dots... |
3630 |
numberwidth = get_width((uchar *)pages[hpage].page_text, |
3630 |
numberwidth = get_width((uchar *)pages[hpage].page_text, |