Denys Vlasenko
84ea60ed65
line editing: make read_line_input() not take timeout param
It's almost always -1.
function old new delta
read_line_input 3902 3912 +10
new_line_input_t 24 31 +7
pgetc 583 585 +2
save_command_ps_at_cur_history 80 78 -2
read_line 76 74 -2
fgetc_interactive 246 244 -2
addLines 84 82 -2
doCommands 2226 2222 -4
------------------------------------------------------------------------------
(add/remove: 0/0 grow/shrink: 3/5 up/down: 19/-12) Total: 7 bytes
Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
2017-08-02 17:27:28 +02:00
..
2017-07-27 10:58:08 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-27 10:53:09 +02:00
2017-07-21 09:50:55 +02:00
2017-08-02 14:26:33 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2016-11-27 20:47:01 +01:00
2017-08-02 14:26:33 +02:00
2016-06-19 18:15:33 +02:00
2013-02-11 00:22:59 +01:00
2017-08-02 17:27:28 +02:00
2017-07-27 10:53:09 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-27 14:45:25 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2016-11-23 11:46:32 +01:00
2017-04-12 13:58:40 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-27 10:53:09 +02:00
2017-07-21 09:50:55 +02:00
2016-03-14 19:34:15 +01:00
2017-07-15 19:20:45 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-27 14:45:25 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-27 14:31:59 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-27 10:58:08 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-07-27 14:45:25 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00