[BUG] Linux output hopelessly slow

[pyjarrett]

Linux output is ridiculously slow!?

This is a definite regression since I know this wasn't a problem a while ago.

[pyjarrett]

Works fine in tmux (screen-256color), it's plain Gnome terminal (xterm-256color) which is super slow.

[pyjarrett]

Each one of these Set_Col is doing a VT100 cursor position request and then reading it.

            Set_Col (3);
            if Srch.Print_Line_Numbers then
                Put (Line_Num'Image);
                Set_Col (13);
            else
                Set_Col(5);

This results in:

18:34:24.715227 write(1, "\n", 1)       = 1 <0.000037>
18:34:24.715337 write(1, "\33[6n", 4)   = 4 <0.000020>
18:34:24.715415 read(0, "\33[55;1R", 512) = 7 <0.030911>   !!!!!!!!!!!!!!!!!!!!!!!!
18:34:24.746475 write(1, "\33[55;3H", 7) = 7 <0.000089>
18:34:24.746696 write(1, " 32", 3)      = 3 <0.000088>
18:34:24.746888 write(1, "\33[6n", 4)   = 4 <0.000082>
18:34:24.747022 read(0, "\33[55;6R", 512) = 7 <0.031077>   !!!!!!!!!!!!!!!!!!!!!!!!!!!!!
18:34:24.778245 write(1, "\33[55;13H", 8) = 8 <0.000087>
18:34:24.778477 write(1, "\n", 1)       = 1 <0.000086>
18:34:24.778668 write(1, "->", 2)       = 2 <0.000080>
18:34:24.778799 write(1, "\33[6n", 4)   = 4 <0.000017>
18:34:24.778860 read(0, "\33[55;3R", 512) = 7 <0.030853>   !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

[pyjarrett]

Not an ideal fix: 0361762

I'm thinking of caching cursor position in some way.