Ticket #1557: sage-1557.patch

File sage-1557.patch, 1.1 KB (added by was, 13 years ago)
  • sage/server/notebook/worksheet.py

    # HG changeset patch
    # User William Stein <wstein@gmail.com>
    # Date 1210454024 25200
    # Node ID d70d9c5e2db1cfd10f98bae8032555277efb6dbd
    # Parent  7593840775c06b739298d5d164813ba6c3c14da4
    trac #1557 -- trivial change "Use" --> "Worksheet"
    
    diff -r 7593840775c0 -r d70d9c5e2db1 sage/server/notebook/worksheet.py
    a b class Worksheet: 
    918918        return """
    919919
    920920        <a  title="Print this worksheet" class="usercontrol" onClick="print_worksheet()"><img border=0 src="/images/icon_print.gif" alt="Print">Print</a>
    921         <a class="%s" title="Interactively use this worksheet" onClick="edit_worksheet();">Use</a>       
     921        <a class="%s" title="Interactively use this worksheet" onClick="edit_worksheet();">Worksheet</a>       
    922922        <a class="%s" title="Edit text version of this worksheet" href="edit">Edit</a>
    923923        <a class="%s" title="View plain text version of this worksheet" href="text">Text</a>
    924924        <a class="%s" href="revisions" title="View changes to this worksheet over time">Undo</a>