lilalo

diff l3-frontend @ 136:244825e244de

Запись начинается не автоматически, а по команде l3script

Для того чтобы начать запись в журнал
нужно дать команду l3script
Завершение записи --- команда exit
author igor@chub.in
date Thu Jul 17 11:20:58 2008 +0300 (2008-07-17)
parents 58c869722fd0
children c48bd05dca85
line diff
     1.1 --- a/l3-frontend	Sun Jun 29 15:09:04 2008 +0300
     1.2 +++ b/l3-frontend	Thu Jul 17 11:20:58 2008 +0300
     1.3 @@ -773,7 +773,8 @@
     1.4                             grep (!/^(output|short_output|diff)$/, 
     1.5                               sort(keys(%{$cl})))));
     1.6  
     1.7 -        $cline = "<span title='$prompt_hint'>".$cl->{"prompt"}."</span>"
     1.8 +        $cl->{"prompt"} =~ s/ $//;
     1.9 +        $cline = "<span title='$prompt_hint' class='prompt'><a href='#".$cl->{time}."' id='".$cl->{time}."'>".$cl->{"prompt"}."</a></span>"
    1.10                  ."<span onmouseover=\"myHint.show('".$cl->{time}."')\" onmouseout=\"myHint.hide()\">".$cl->{"cline"}."</span>";
    1.11          $cline =~ s/\n//;
    1.12