… | |
… | |
17 | WISH: OnTheSpot editing, or maybe switch to miiiiiiif. or maybe use perl and an overlay... |
17 | WISH: OnTheSpot editing, or maybe switch to miiiiiiif. or maybe use perl and an overlay... |
18 | WISH: just for fun, do shade and tint with XRender. |
18 | WISH: just for fun, do shade and tint with XRender. |
19 | WISH: support tex fonts |
19 | WISH: support tex fonts |
20 | |
20 | |
21 | 7.2 |
21 | 7.2 |
|
|
22 | - bugfix: the selection speed in in 7.1 unfortunately caused |
|
|
23 | non-ascii characters to enlarge/move the selection. |
22 | - added "tabbed" extension that provides a crude tabbed terminal. |
24 | - added "tabbed" extension that provides a crude tabbed terminal. |
23 | - added "readline" extension that allows cursor positioning |
25 | - added "readline" extension that allows cursor positioning |
24 | via mouse clicks. |
26 | via mouse clicks. |
25 | - now it is possible to insert the value of the CLIPBOARD selection |
27 | - now it is possible to insert the value of the CLIPBOARD selection |
26 | with shift - mouse button 2 |
28 | with shift - mouse button 2 |