Ticket #1230: sage-1230-part3.patch

sage/server/notebook/js.py

@@ -1217 +1217 @@
     worksheet_list_button("/send_to_archive");
 }     
 
-function quit_worksheets_button() {
+function stop_worksheets_button() {
     /*
     Saves and then quits sage process for each checked worksheet.
     */
-    worksheet_list_button("/send_to_quit");
+    worksheet_list_button("/send_to_stop");
 }
 
 function history_window() {

sage/server/notebook/notebook.py

@@ -1156 +1156 @@
             else:
                 s += '&nbsp;&nbsp;<button onClick="make_active_button();" title="Move the selected worksheets out of the trash">Undelete</button>'
 
-            s += '&nbsp;&nbsp;<button onClick="quit_worksheets_button();" title="Quit selected worksheets">Quit</button>'
+            s += '&nbsp;&nbsp;<button onClick="stop_worksheets_button();" title="Stop selected worksheets">Stop</button>'
             
             s += '<span>'
             s += '&nbsp;'*10

sage/server/notebook/twist.py

@@ -1335 +1335 @@
 # Using SendWorksheet does feel somewhat hackish.  It however is
 # exactly the right thing to actually do, and minimizes code
 # duplication.
-class SendWorksheetToQuit(SendWorksheetToFolder):
+class SendWorksheetToStop(SendWorksheetToFolder):
     """
     Saves and quits each selected worksheet.
     """
@@ -1843 +1843 @@
     userchild_send_to_trash = SendWorksheetToTrash
     userchild_send_to_archive = SendWorksheetToArchive
     userchild_send_to_active = SendWorksheetToActive
-    userchild_send_to_quit = SendWorksheetToQuit
+    userchild_send_to_stop = SendWorksheetToStop
 
     userchild_settings = UserSettings