diff options
Diffstat (limited to 'html/edit/002-typing.mu.html')
| -rw-r--r-- | html/edit/002-typing.mu.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/edit/002-typing.mu.html b/html/edit/002-typing.mu.html index a9f02220..7375cd90 100644 --- a/html/edit/002-typing.mu.html +++ b/html/edit/002-typing.mu.html @@ -308,7 +308,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color left:number<span class="Special"> <- </span>get *editor, <span class="Constant">left:offset</span> right:number<span class="Special"> <- </span>get *editor, <span class="Constant">right:offset</span> row:number, column:number<span class="Special"> <- </span>render screen, editor - clear-line-delimited screen, column, right + clear-line-until screen, right row<span class="Special"> <- </span>add row, <span class="Constant">1</span> draw-horizontal screen, row, left, right, <span class="Constant">9480/horizontal-dotted</span> row<span class="Special"> <- </span>add row, <span class="Constant">1</span> |