Commit 1c84493
committed
patch 8.0.0771: cursor in terminal window not always updated in GUI
Problem: Cursor in a terminal window not always updated in the GUI.
Solution: Call gui_update_cursor(). (Yasuhiro Matsumoto, closes #1868)1 parent 86067eb commit 1c84493
2 files changed
Lines changed: 20 additions & 11 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
33 | 33 | | |
34 | 34 | | |
35 | 35 | | |
36 | | - | |
| 36 | + | |
| 37 | + | |
37 | 38 | | |
38 | 39 | | |
39 | 40 | | |
| |||
314 | 315 | | |
315 | 316 | | |
316 | 317 | | |
| 318 | + | |
| 319 | + | |
| 320 | + | |
| 321 | + | |
| 322 | + | |
| 323 | + | |
| 324 | + | |
| 325 | + | |
| 326 | + | |
| 327 | + | |
| 328 | + | |
| 329 | + | |
317 | 330 | | |
318 | 331 | | |
319 | 332 | | |
| |||
329 | 342 | | |
330 | 343 | | |
331 | 344 | | |
332 | | - | |
333 | | - | |
| 345 | + | |
334 | 346 | | |
335 | 347 | | |
336 | 348 | | |
| |||
461 | 473 | | |
462 | 474 | | |
463 | 475 | | |
464 | | - | |
465 | | - | |
| 476 | + | |
466 | 477 | | |
467 | 478 | | |
468 | 479 | | |
| |||
550 | 561 | | |
551 | 562 | | |
552 | 563 | | |
553 | | - | |
554 | | - | |
| 564 | + | |
555 | 565 | | |
556 | 566 | | |
557 | 567 | | |
| |||
616 | 626 | | |
617 | 627 | | |
618 | 628 | | |
619 | | - | |
620 | | - | |
621 | | - | |
622 | | - | |
| 629 | + | |
623 | 630 | | |
624 | 631 | | |
625 | 632 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
769 | 769 | | |
770 | 770 | | |
771 | 771 | | |
| 772 | + | |
| 773 | + | |
772 | 774 | | |
773 | 775 | | |
774 | 776 | | |
| |||
0 commit comments