Two new modes at jedmodes

[Guenter Milde <G.Milde@xxxxxxxxxxxxxxxxxxxx>]

Dear Jedies,

I just uploaded two modes to the JMR (http://jedmodes.sourceforge.net/)

recent 2.0 (this is based on Guidos nice recent files mode)

% Provide easy access to recently opened/saved files.
% 
% Version: 1.0.1. by Guido Gonzato, <ggonza@xxxxxx>
%                  
%          2.0    by Guenter Milde <g.milde@xxxxxx>
%                 *  Use a circular array -> no hidden recent buffer
%                 *  Rearrange entries to have last opened/saved first
%                 *  Save to file only at exit -> less writing
%                 *  Save last cursor position
%                 *  Support for "restore last session"
%                               

navigate.sl 

% "history feature" (recent visited buffer) known from many browsers.
%
% Store info about the last visited buffer with any buffer switch.
% Navigate between the recently visited buffers with Alt+Arrow.

This is triggered by Dinos walk.sl mode. The main difference is, that the
switch_active_buffer_hook is used, so there is no need for any mode using it
to do anything -> the user decides to use it by loading navigate.sl.
It is not called history.sl due to a naming clash on jmr.

TODO: Restore automatically created buffers (help, char_table, dired, ...)
      
      Make the restoration configurable:
         - restore closed buffers without asking (current behaviour)
         - ask, whether a closed buffer should be reopened
           (sensible, when you want walk back several steps - do you really
           want to open all buffers on the way?)
         - close restored buffers again, when just stepping over
           (no need for additional interaction but a slight overhead).
           
         -> What would you like to be the default? Should these two be
         independent or just three choices of on custom variable?    
                 

Try them out, enjoy (hopefully) and tell me what you think...

Günter

--
G.Milde at physik.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>.