changeset 5400 | c8c25c1392f7 |
parent 5399 | 22d3682235f9 |
child 5403 | 569378fb6c8e |
child 5404 | 50b74416cbd4 |
--- a/EditTextView.st Fri Aug 28 15:32:47 2015 +0200 +++ b/EditTextView.st Fri Aug 28 15:46:25 2015 +0200 @@ -1358,7 +1358,7 @@ ^ cursorLine ! -cursorLineAndColumnInfoHolder +cursorLineAndColumnLabelHolder "return a valueHolder for the cursors line and column as an info string of the form 'line : col'. This can be used directly as a model for a GUI label showing the cursor position (eg in the lower right)"