Fri, 28 Jun 2019 09:21:50 +0200 |
Claus Gittinger |
#OTHER by cg
|
file |
diff |
annotate
|
Sun, 23 Jun 2019 23:04:24 +0000 |
Jan Vrany |
Fix slip `TerminalView >> innerHeight`
jv
|
file |
diff |
annotate
|
Fri, 14 Jun 2019 12:45:30 +0100 |
Jan Vrany |
`TerminalView`: fix unicode output on UNIX platforms
jv
|
file |
diff |
annotate
|
Mon, 20 May 2019 13:58:11 +0100 |
Jan Vrany |
``TerminalView`: add new APIs: #widthInChars` and `#heightInChars`
jv
|
file |
diff |
annotate
|
Mon, 20 May 2019 13:55:48 +0100 |
Jan Vrany |
Cherry-picked changes to `TerminalView` from CVS
jv
|
file |
diff |
annotate
|
Thu, 07 Feb 2019 12:16:15 +0000 |
Jan Vrany |
Fix copy & paste in `TerminalView`
jv
|
file |
diff |
annotate
|
Sat, 27 Apr 2019 09:50:57 +0200 |
Claus Gittinger |
#BUGFIX by cg
|
file |
diff |
annotate
|
Mon, 04 Mar 2019 08:05:54 +0100 |
Claus Gittinger |
#UI_ENHANCEMENT by cg
|
file |
diff |
annotate
|
Fri, 01 Mar 2019 16:13:50 +0100 |
Claus Gittinger |
#REFACTORING by cg
|
file |
diff |
annotate
|
Wed, 27 Feb 2019 21:46:51 +0100 |
Claus Gittinger |
#REFACTORING by cg
|
file |
diff |
annotate
|
Mon, 21 Jan 2019 10:05:38 +0000 |
Jan Vrany |
`TerminalView`: do not clear line if terminal is in 'local echo' mode
jv
|
file |
diff |
annotate
|
Sat, 10 Nov 2018 00:20:36 +0100 |
Claus Gittinger |
#REFACTORING by cg
|
file |
diff |
annotate
|
Mon, 29 Oct 2018 17:55:14 +0100 |
Claus Gittinger |
#BUGFIX by cg
|
file |
diff |
annotate
|
Mon, 29 Oct 2018 17:07:04 +0100 |
Claus Gittinger |
#FEATURE by cg
|
file |
diff |
annotate
|
Fri, 14 Sep 2018 17:02:12 +0200 |
Stefan Vogel |
#TUNING by stefan
|
file |
diff |
annotate
|
Sun, 29 Jul 2018 21:21:31 +0100 |
Jan Vrany |
`TerminalView`: make sure the last line is always fully visible
jv
|
file |
diff |
annotate
|
Thu, 16 Aug 2018 15:26:26 +0200 |
Claus Gittinger |
#FEATURE by cg
|
file |
diff |
annotate
|
Thu, 09 Aug 2018 10:34:13 +0200 |
Claus Gittinger |
#OTHER by cg
|
file |
diff |
annotate
|
Wed, 30 May 2018 09:34:26 +0100 |
Jan Vrany |
Copyright updates
jv stx-8.0.0
|
file |
diff |
annotate
|
Wed, 09 May 2018 15:00:15 +0200 |
Claus Gittinger |
#FEATURE by cg
|
file |
diff |
annotate
|
Tue, 01 May 2018 10:40:26 +0200 |
Claus Gittinger |
#UI_ENHANCEMENT by cg
|
file |
diff |
annotate
|
Wed, 07 Mar 2018 15:47:48 +0100 |
Claus Gittinger |
#UI_ENHANCEMENT by cg
|
file |
diff |
annotate
|
Mon, 12 Feb 2018 18:06:59 +0100 |
Claus Gittinger |
#UI_ENHANCEMENT by cg
|
file |
diff |
annotate
|
Mon, 12 Feb 2018 18:05:47 +0100 |
Claus Gittinger |
#UI_ENHANCEMENT by cg
|
file |
diff |
annotate
|
Mon, 12 Feb 2018 12:31:58 +0100 |
Claus Gittinger |
#BUGFIX by cg
|
file |
diff |
annotate
|
Sat, 23 Dec 2017 15:31:20 +0100 |
Claus Gittinger |
#QUALITY by cg
|
file |
diff |
annotate
|
Tue, 28 Nov 2017 19:04:15 +0100 |
Claus Gittinger |
#DOCUMENTATION by cg
|
file |
diff |
annotate
|
Wed, 12 Jul 2017 09:43:57 +0200 |
Jan Vrany |
`TerminalView`: fixed slip after `KeyboardMap` refactoring
jv
|
file |
diff |
annotate
|
Tue, 13 Jun 2017 14:44:00 +0100 |
Jan Vrany |
`TerminalView`: do not tinker with cursor position when selecting via mouse
jv
|
file |
diff |
annotate
|
Fri, 12 May 2017 23:30:25 +0200 |
Jan Vrany |
Keyboard mapping: code updated to catch up with `KeyboardMap`
jv
|
file |
diff |
annotate
|