Re: [jed-users] Change line width within a jed-session

[jed@xxxxxxxxxxx (John E. Davis)]

Martin Klaiber <martinkl@xxxxxxxxxxxxxxxxxx> wrote:
> For now I set WRAP_DEFAULT in ~/.jedrc, which means: saving the file,
> exiting jed, editing .jedrc, and so on...

The value of the WRAP variable is local to each buffer.  When a new
buffer is created, WRAP will get set to the value of WRAP_DEFAULT.

> Is there a solution to change the line width "on the fly", without
> exiting jed?

You can set it at the S-Lang Command prompt, which you can access via
the "System" menu (or Ctrl-X ESC if using emacs keybindings), e.g.,

   S-Lang> WRAP=72;

--John


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