[jed-users] Re: del_region() tremendously slow

[Ulli Horlacher <framstag@xxxxxxxxxxxxxxxxxxxx>]

On Tue 2025-01-28 (23:05), Ulli Horlacher wrote:

> (How) can I change the buffer name " <edt>" to "*edt_cut*"?
> Yes, I could edit edt.sl, but is there a hook for it to be used in jed.rc
> or defaults.sl?

I found a trivial solution by myself :-)

I have now in defaults.sl:

pop(evalfile("edt"));
edt_pbuf = "*edt_cut*";

-- 
Ullrich Horlacher              Server und Virtualisierung
Rechenzentrum TIK
Universitaet Stuttgart         E-Mail: horlacher@xxxxxxxxxxxxxxxxxxxx
Allmandring 30a                Tel:    ++49-711-68565868
70569 Stuttgart (Germany)      WWW:    https://www.tik.uni-stuttgart.de/
REF:<20250128220550.GC40630@xxxxxxxxxxxxxxxxxxxx>
_______________________________________________
For list information, visit <http://jedsoft.org/jed/mailinglists.html>.