% ------------------------------------------- -*- mode:SLang; mode:folding; -*-
%
% MINUED-MODE FOR JED
%
% $Id: minued.sl,v 2.11 2000/04/07 12:43:05 rocher Exp $
%
% --------------------------------------------------------------------- %{{{
%
% DESCRIPTION
%	'Minued' is a MINi-bUffer EDitor with wich you can view all
%	previously lines entered in it. Select and modify one of them, press
%	press return and that line will be updated and evaluated.
%
% USAGE
%	Simply add the line:
%
%		autoload ("minued", "minued");
%
%	somewhere in your startup file (.jedrc or jed.rc). You can optionally
%	bind 'minued' to "Ctrl-X Ctrl-E" (quite useful in emacs mode) with
%
%		setkey ("minued", "^X^E");
%
%	See the 'COLORS' section to see how you can customize colors
%	used by minued.
%
% AUTHOR
%	Francesc Rocher <f.rocher@computer.org>
%	Feel free to send comments, suggestions or improvements.
%
% Modified by JED for inclusion into 0.99-11.  Until Francesc's is_color has 
% been implemented, the menu_selection colors are used.
%
% ------------------------------------------------------------------------ %}}}
implements ("Minued");

% PRIVATE VARIABLES %{{{
private variable
   minued_cbuf,        % Current buffer before minued-mode was called
   minued_nwin,        % Number of windows (before minued)
   minued_ncoms,       % Number of commands
   minued_mark,
   minued_lnum = 1,    % Line number
   minued_line,        % Line contents
   minued_cnums,       % Color used for numbers
   minued_cline,       % Color used in the current line
   Max_Num_Lines = 32; % The same as in 'mini.sl'

%}}}

% USER VARIABLES

%!%+
%\variable{Minued_Lines}
%\synopsis{Minued_Lines}
%\usage{Integer_Type Minued_Lines = 0;}
%\description
% This variable controls the number of lines shown in the minued
% buffer. If the value of \var{Minued_Lines} is -1, then the entire
% screen is used. If it is 0, the window splits vertically. A positive
% value selects the exact number of lines to show. This value shouldn't
% be greater than \var{SCREEN_HEIGHT}-4, and is only useful while you are
% working with one window.
%
% Default value is 0.
%\seealso{minued}
%\seealso{SCREEN_HEIGHT}
%!%-
custom_variable ("Minued_Lines", 0);


% PRIVATE FUNCTIONS
private define insert_mini_commands ()       %{{{
{
   % Returns the number of inserted lines.
   variable l, line = mini_get_lines (NULL), n = 0;

   foreach (line)
     {
        l = ();
        if (strlen (l))
          {
             n++;
             vinsert ("%3d  %s\n", n, l);
          }
     }

   return n;
}

%}}}
private define remove_mini_command  (n)      %{{{
{
   % Remove the n-th Mini_Previous_Line
   % ('n' is the n-th line from the user point of view)
   variable lines = mini_get_lines (NULL);
   variable i = [0:length (lines)-1];

   mini_set_lines (lines [where (i != n-1)]);
}

%}}}
private define update_mini_command  (n, cmd) %{{{
{
   % Replace n-th Mini_Previous_Line with 'cmd'
   % ('n' is the n-th line from the user point of view)
   if (n > minued_ncoms)
     {
        variable c = String_Type [1];
        c [0] = cmd;
        mini_store_lines (c);
     }
   else
     {
        variable l = mini_get_lines (NULL);
        l [n-1] = cmd;
        mini_set_lines (l);
     }
}

%}}}
private define minued_eval          ()       %{{{
{
   variable mtr;

   if (is_defined (minued_line))
     {
        eval (minued_line);
        return;
     }
   mtr = strtrans (minued_line, "-", "_");
   if (is_internal (mtr))
     {
        call (mtr);
        return;
     }
   if (is_defined (mtr))
     {
        eval (mtr);
        return;
     }
   eval (minued_line);
}

%}}}
private define minued_get_line      ()       %{{{
{
   minued_line = line_as_string ();
   minued_line = strtrim (minued_line [[5:]]);
   minued_lnum = what_line ();
}

%}}}
private define minued_show          ()       %{{{
{
   erase_buffer ();

   minued_ncoms = insert_mini_commands ();
   if (minued_ncoms == Max_Num_Lines)
     {
        minued_ncoms--;
        () = up (1);
        delete_line ();
     }
   insert ("add> ");
   goto_line (minued_lnum);
   set_column_colors (minued_cnums,1,5);
   set_buffer_modified_flag (0);
}

%}}}
private define minued_adjust_window ()       %{{{
{
   if (Minued_Lines == -1)
      onewindow ();

   if (Minued_Lines)
     {
        if (Minued_Lines > SCREEN_HEIGHT-4)
           onewindow ();
        else
          {
             variable n = window_info ('r');
             if (n < Minued_Lines)
                  Minued_Lines - n;
             else
               {
                  otherwindow ();
                  n - Minued_Lines;
               }
             loop ()
                enlargewin ();
             pop2buf ("*minued*");
          }
     }
}

%}}}
private define minued_update        ()       %{{{
{
   update_mini_command (minued_lnum, minued_line);
}

%}}}
private define minued_update_hook   ()       %{{{
{
   minued_mark = create_line_mark (minued_cline);

   if (what_column () < 6)
      goto_column (6);

   if (andelse
         {what_line () <= minued_ncoms}
         {buffer_modified ()})
     {
        push_spot ();
        goto_column (4);
        del ();
        insert_char ('*');
        pop_spot ();
        set_buffer_modified_flag (0);
     }
}

%}}}


% PUBLIC FUNCTIONS ------------------------------------------------------------

%!%+
%\function{minued_mode}
%\synopsis{minued_mode}
%\usage{Void minued_mode ();}
%\description
% \var{minued_mode} is a mini-buffer's contents editor with which you can view all
% previously entered lines in it. Select and modify one of them. Press return
% and that line will be updated in the mini-buffer and evaluated in the buffer
% from which minued was called.
%
% All lines appears numbered, in the same order that they are stored in the
% mini-buffer. Use the last line of minued if you want to add a new one.
% Instead of a number that line shows "add> ".
%
% The following keys bindings are defined in \var{minued_mode}:
%#v+ 
%    Return        Update and evaluate the current line.
%    Meta-Return   Evaluate the current line.
%    Ctrl-U        Update the current line, don't leave 'minued_mode'.
%    Meta-R        Remove the current line, don't leave 'minued_mode'.
%    Ctrl-C        Quit.
%#v-
% Note: Minued cannot be invoked from the mini-buffer.
%\seealso{history_load, history_save}
%\seealso{Minued_Lines}
%!%-
public define minued                  () %{{{
{
   if (MINIBUFFER_ACTIVE or (whatbuf () == "*minued*"))
      return;

   minued_nwin = nwindows ();
   minued_cbuf = pop2buf_whatbuf ("*minued*");
   minued_adjust_window ();
   minued_show ();

   set_buffer_undo (1);
   set_mode ("minued", 0);
   use_keymap ("minued");
   set_buffer_hook ("update_hook", &minued_update_hook);
   run_mode_hooks ("minued_mode");
}

%}}}
public  define minued_cancel           () %{{{
{
   setbuf ("*minued*");
   set_buffer_modified_flag (0);
   sw2buf (minued_cbuf);
   delbuf ("*minued*");

   if (minued_nwin == 1)
      onewindow ();
   else
      otherwindow ();
}

%}}}
public  define minued_eval_line        () %{{{
{
   minued_get_line ();
   minued_cancel ();

   if (strlen (minued_line))
      minued_eval ();
}

%}}}
public  define minued_remove_line      () %{{{
{
   minued_lnum = what_line ();

   if (orelse
      {minued_lnum > minued_ncoms}
      {minued_ncoms == 1})
      return;

   remove_mini_command (minued_lnum);
   minued_show ();
}

%}}}
public  define minued_update_line      () %{{{
{
   if (what_line () > minued_ncoms)
      return;

   variable c = what_column ();

   minued_get_line ();
   if (strlen (minued_line))
     {
        minued_update ();
        delete_line ();
        vinsert ("%3dU %s\n", minued_lnum, minued_line);
        () = up (1);
        goto_column (c);
        set_buffer_modified_flag (0);
        flush ("Line updated.");
     }
}
%}}}
public  define minued_update_eval_line () %{{{
{
   minued_get_line ();
   minued_cancel ();

   !if (strlen (minued_line))
      return;

   minued_update ();
   minued_eval ();
}

%}}}


% COLORS %{{{

% DISABLED while 'is_color' and 'set_color' are not available
%
% !if (is_color ("minued_nums"))
%    set_color ("minued_nums", "brightred", "black");
%
% !if (is_color ("minued_line"))
%    set_color ("minued_line", "black", "green");
%
% minued_cnums = color_number ("minued_nums");
% minued_cline = color_number ("minued_line");

% Temporary solution
#iftrue
minued_cline = color_number ("menu_selection");
minued_cnums = color_number ("menu_selection_char");
#else
set_color_object (100, "brightred", "black");
set_color_object (101, "black", "green");
minued_cnums = 100;
minued_cline = 101;
#endif
%}}}

% KEYMAP %{{{

$0 = "minued";

!if (keymap_p ($0)) {
   make_keymap ($0);
   undefinekey ("^C", $0);
   definekey ("minued_cancel",           "^C",   $0);
   definekey ("minued_eval_line",        "\e\r", $0);
   definekey ("minued_remove_line",      "\er",  $0);
   definekey ("minued_update_eval_line", "\r",   $0);
   definekey ("minued_update_line",      "^U",   $0);
}

%}}}
