1.1 --- a/l3-frontend	Sun Mar 09 22:54:22 2008 +0200
     1.2 +++ b/l3-frontend	Thu Mar 13 12:22:31 2008 +0200
     1.3 @@ -475,7 +475,7 @@
     1.4  # Обработка команд с одинаковым временем
     1.5  # Скорее всего они набраны с помощью tab-completion
     1.6          if (defined($prev_cl)) {
     1.7 -           if ($$prev_cl->{time} == $$cl->{time}) {
     1.8 +           if ($$prev_cl->{time} == $$cl->{time} && $$prev_cl->{nonce} == $$cl->{nonce}) {
     1.9              $tab_seq++;
    1.10             } 
    1.11             else {
    1.12 @@ -485,9 +485,9 @@
    1.13  
    1.14  # Обработка команд с одинаковым номером в истории
    1.15  # Скорее всего они набраны с помощью Ctrl-C
    1.16 -           if ($$prev_cl->{history} == $$cl->{history}) {
    1.17 -            $$prev_cl->{break}=1;
    1.18 -           }
    1.19 +           #if ($$prev_cl->{history} == $$cl->{history}) {
    1.20 +           # $$prev_cl->{break}=1;
    1.21 +           #}
    1.22          }
    1.23  
    1.24  
    1.25 @@ -768,7 +768,11 @@
    1.26  
    1.27  # COMMAND
    1.28          my $cline;
    1.29 -        $prompt_hint = join ("
", map("$_=$cl->{$_}", grep (!/^(output|diff)$/, sort(keys(%{$cl})))));
    1.30 +        $prompt_hint = join ("
", 
    1.31 +                         map("$_=$cl->{$_}", 
    1.32 +                           grep (!/^(output|short_output|diff)$/, 
    1.33 +                             sort(keys(%{$cl})))));
    1.34 +
    1.35          $cline = "<span title='$prompt_hint'>".$cl->{"prompt"}."</span>"
    1.36                  ."<span onmouseover=\"myHint.show('".$cl->{time}."')\" onmouseout=\"myHint.hide()\">".$cl->{"cline"}."</span>";
    1.37          $cline =~ s/\n//;