Re: highlighting regions in script

[Joerg Sommer <joerg@xxxxxxxxxxxx>]

Hello Juergen,

Juergen Lemke <lemke_juergen@xxxxxxxx> wrote:
> Hello!
>  
>  I need to show a region to the user and ask him a question. Something like
>  
>  define highlightreg()
>  {
>    HIGHLIGHT=1; % just in case: also set in jed.rc
>    bol(); push_mark(); eol(); 

You must use push_visible_mark().

Regards, Jörg.
-- 
Nutze die Talente, die du hast. Die Wälder wären sehr still,
wenn nur die begabtesten Vögel sängen.                (Henry van Dyke)

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.