| Sun, 30 Jul 2017 17:00:04 +0200 |
Christian Brabandt |
patch 8.0.0813: cannot use a terminal window while the job is running
v8.0.0813
|
| Sat, 29 Jul 2017 20:30:04 +0200 |
Christian Brabandt |
patch 8.0.0804: terminal window functions not yet implemented
v8.0.0803
|
| Fri, 28 Jul 2017 22:30:05 +0200 |
Christian Brabandt |
patch 8.0.0798: no highlighting in a terminal window with a finished job
v8.0.0798
|
| Fri, 28 Jul 2017 22:00:04 +0200 |
Christian Brabandt |
patch 8.0.0797: finished job in terminal window is not handled
v8.0.0797
|
| Thu, 27 Jul 2017 22:30:04 +0200 |
Christian Brabandt |
patch 8.0.0784: job of terminal may be garbage collected
v8.0.0784
|
| Mon, 24 Jul 2017 21:45:04 +0200 |
Christian Brabandt |
patch 8.0.0768: terminal window status shows "[Scratch]"
v8.0.0768
|
| Sun, 23 Jul 2017 20:00:05 +0200 |
Christian Brabandt |
patch 8.0.0761: options not set properly for a terminal buffer
v8.0.0761
|
| Mon, 17 Jul 2017 23:30:03 +0200 |
Christian Brabandt |
patch 8.0.0728: the terminal structure is never freed
v8.0.0728
|
| Sun, 16 Jul 2017 20:15:03 +0200 |
Christian Brabandt |
patch 8.0.0725: a terminal window does not handle keyboard input
v8.0.0725
|
| Sun, 16 Jul 2017 14:00:03 +0200 |
Christian Brabandt |
patch 8.0.0718: output of job in terminal is not displayed
v8.0.0718
|
| Fri, 07 Jul 2017 12:00:04 +0200 |
Christian Brabandt |
patch 8.0.0693: no terminal emulator support
v8.0.0693
|
