Next:
refresh
Up:
wx:media-buffer
Previous:
read-header-from-file
redo
Undoes the last undo, if no other changes have been made since.
(send
a-wx:media-buffer
redo)
->
void
PLT
![[previous]](../icons/left.gif)
![[up]](../icons/up.gif)
![[next]](../icons/right.gif)
![[contents]](../icons/contents.gif)
![[index]](../icons/index.gif)