|
Get previous
[Back]
Copies the corresponding character from the
previous line.
process_up()
p = $cursor
end_of_line()
c=""
if (p != $cursor)
{
set_cursor_pos(p)
c = get_character($cursor)
}
process_down()
insert_string(c)
Note that you can get the character from the next line by swapping the process_up()
and process_down().
[Back]
Released on Wed, 21 Nov 2001
by
C. Denat
|
|