nums_row          372 src/viewer/display.c     const screen_dimen nums_row = (ruler == RULER_TOP) ? 1 : 0;
nums_row          394 src/viewer/display.c             if (nums_row < height)
nums_row          396 src/viewer/display.c                 widget_move (view, top + nums_row, left + c - 1);