Next:
set-display/write-handlers
Up:
mred:console-edit
Previous:
result-delta
set-display-delta
(send
a-mred:console-edit
set-display-delta
delta
)
->
void
delta
:
a
wx:style-delta%
object
Changes
display-delta
to
delta
.
PLT
![[previous]](../icons/left.gif){kind=icon}
![[up]](../icons/up.gif){kind=icon}
![[next]](../icons/right.gif){kind=icon}
![[contents]](../icons/contents.gif){kind=icon}
![[index]](../icons/index.gif){kind=icon}