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     1360 lib/widget/input.c     push_history (in, in->buffer);