jed-users mailing list

[2018 Date Index] [2018 Thread Index] [Other years]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]

Re: [jed-users] Updating the buffers


Dear Martin,

On 23.02.18, Martin Klaiber wrote:
> Guenter Milde <milde@xxxxxxxxxxxxxxxxxxxxx> wrote:

> > I often use two xjed instances on my desktop, sometimes also with the
> > same file. When I safe to file in one instance, the buffer in the other
> > instance gets flagged (with -d- in the status bar) after a screen update
> > (cursor move, say). Then I can choose to re-load the file with File>Reload
> > (Alt-F L). For me, this is sufficiently efficent and I stay in control.
> > (You can also bind the "reload_buffer" function to a key-combo of your
> > choice.)

> That sounds good and would be sufficient for me too. But <Alt-F><L>
> doesn't work here and my jed doesn't seem to know a function called
> "reload_buffer". I use Jed pre0.99.20-62. Is it too old?

I use Jed Version: 0.99.19 on Linux (as xjed and in a console). However,
I use it with many of the extensions from jedmodes.sf.net (on Debian
available in the jed-extra package). reload_buffer() is defined in
bufutils.sl (http://jedmodes.sourceforge.net/mode/bufutils/)

In my local setup file, I define

define gm_load_popup_hook(menubar)
{
   menu_insert_item("Save &Buffers", "Global.&File", "Re&load", "reload_buffer");
 % ...
}

and this works since years.
Caveat: reloading deletes the undo/redo buffer.

Günter

_______________________________________________
For list information, visit <http://jedsoft.org/jed/mailinglists.html>.


[2018 date index] [2018 thread index]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]