How to reload a buffer

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hi,

is there a way in (plain) Jed I can reload the contents of the buffer
if the file changed on disk? I search something like reload_buffer from
bufutils (jed-modes).

Bye, Jörg.
-- 
Der Wunsch, klug zu erscheinen, verhindert oft, es zu werden.
    	    	    			      (Francois de la Rochefoucauld)

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