1.1 --- a/l3-frontend	Sun Jun 29 15:09:04 2008 +0300
     1.2 +++ b/l3-frontend	Mon Jul 21 12:29:05 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