Sat, 05 May 2018 16:45:05 +0200 |
Christian Brabandt |
patch 8.0.1794: duplicate term options after renaming
v8.0.1794
|
Sat, 21 Apr 2018 20:15:07 +0200 |
Christian Brabandt |
patch 8.0.1743: terminal window options are named inconsistently
v8.0.1743
|
Sat, 14 Apr 2018 18:15:06 +0200 |
Christian Brabandt |
patch 8.0.1712: terminal scrollback is not limited
v8.0.1712
|
Fri, 16 Mar 2018 21:00:08 +0100 |
Christian Brabandt |
patch 8.0.1609: shell commands in the GUI use a dumb terminal
v8.0.1609
|
Fri, 09 Mar 2018 21:45:06 +0100 |
Christian Brabandt |
patch 8.0.1592: terminal windows in a session are not properly restored
v8.0.1592
|
Sun, 04 Mar 2018 20:15:05 +0100 |
Christian Brabandt |
patch 8.0.1566: too many #ifdefs
v8.0.1566
|
Sun, 04 Mar 2018 18:15:08 +0100 |
Christian Brabandt |
patch 8.0.1564: too many #ifdefs
v8.0.1564
|
Sat, 10 Feb 2018 15:45:06 +0100 |
Christian Brabandt |
patch 8.0.1491: the minimum width of the popup menu is hard coded
v8.0.1491
|
Wed, 31 Jan 2018 22:00:07 +0100 |
Christian Brabandt |
patch 8.0.1451: difficult to set the python home directories properly
v8.0.1451
|
Sat, 25 Nov 2017 17:15:05 +0100 |
Christian Brabandt |
patch 8.0.1338: USE_IM_CONTROL is confusing and incomplete
v8.0.1338
|
Sat, 25 Nov 2017 15:30:06 +0100 |
Christian Brabandt |
patch 8.0.1336: cannot use imactivatefunc() unless compiled with +xim
v8.0.1336
|
Sat, 18 Nov 2017 22:15:05 +0100 |
Christian Brabandt |
patch 8.0.1312: balloon_show() only works in terminal when compiled with GUI
v8.0.1312
|
Sat, 18 Nov 2017 19:00:06 +0100 |
Christian Brabandt |
patch 8.0.1309: cannot use 'balloonexpr' in a terminal
v8.0.1309
|
Thu, 09 Nov 2017 18:45:04 +0100 |
Christian Brabandt |
patch 8.0.1278: GUI window always resizes when adding scrollbar
v8.0.1278
|
Sun, 08 Oct 2017 17:45:04 +0200 |
Christian Brabandt |
patch 8.0.1182: cannot see or change mzscheme dll name
v8.0.1182
|