[plt-translators] english-string-constants.ss update

From: Philippe Meunier (meunier at ccs.neu.edu)
Date: Wed Sep 3 20:49:22 EDT 2008

Index: $PLTHOME/collects/string-constants/english-string-constants.ss
===================================================================
--- $PLTHOME/collects/string-constants/english-string-constants.ss	(revision 11501)
+++ $PLTHOME/collects/string-constants/english-string-constants.ss	(working copy)
@@ -1406,4 +1406,16 @@
   (gui-tool-show-gui-toolbar "Show GUI Toolbar")
   (gui-tool-hide-gui-toolbar "Hide GUI Toolbar")
   (gui-tool-insert-gui "Insert GUI")
+
+  ;; contract violation tracking
+  
+  ; tooltip for new planet icon in drscheme window (must have a planet violation logged to see it)
+  (show-planet-contract-violations "Show PLaneT contract violations")
+
+  ; buttons in the dialog that lists the recorded bug reports
+  (bug-track-report "File Ticket")
+  (bug-track-forget "Forget")
+  (bug-track-forget-all "Forget All")
+    
+
   )



Posted on the translators mailing list.