|  |  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 |  |