push_history      626 lib/widget/input.c         push_history (in, in->buffer);
push_history      647 lib/widget/input.c         push_history (in, in->buffer);
push_history      878 lib/widget/input.c         push_history (in, in->buffer);
push_history     1378 lib/widget/input.c     push_history (in, in->buffer);