path: root/src/devices/xditview/lex.h

int GetNumber(DviWidget);