Re: Where is push_defaults?

["G. Milde" <g.milde@xxxxxx>]

On  3.04.06, Dave Laird wrote:

> ... 'push_defaults is undefined'. I did a grep on the entire Jed
> directory tree for 'push_defaults' and it seems a large number of files
> are dependent upon it. Is this a Slang function, or is this defined
> somewhere in the directory? 

push_defaults() is a non-standard extension by the utility script
sl_utils.sl from http://jedmodes.sf.net/mode/sl_utils/

Try to locate sl_utils.sl and put it in your jed library path. 
(The object you see with 

  M-X message(get_jed_library_path) 

and set with

  set_jed_library_path(String path);

)

Günter


-- 
Milde ife.et.tu-dresden.de

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