lines_prev       2091 src/editor/edit.c         int lines_prev = edit->lines_prev;
lines_prev       2100 src/editor/edit.c         edit->lines_prev = lines_prev;
lines_prev       2242 src/editor/edit.c     e->lines_prev = edit->lines_prev;
lines_prev        195 src/editor/editwidget.c     widget_set_size (w, edit->y_prev, edit->x_prev, edit->lines_prev, edit->cols_prev);
lines_prev       1320 src/editor/editwidget.c     edit->lines_prev = w->lines;
lines_prev         72 src/editor/editwidget.h     int cols_prev, lines_prev;