NewLauncher.st
branchjv
changeset 17133 f9f20407fbf9
parent 16857 f108e6fcbe0c
parent 16889 a0d757c7ec2d
child 17134 c4cce8b7a95d
--- a/NewLauncher.st	Mon Oct 03 15:15:56 2016 +0100
+++ b/NewLauncher.st	Sun Oct 09 22:55:02 2016 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 1997-1998 by eXept Software AG
 	      All Rights Reserved
@@ -4449,6 +4451,10 @@
                         label: 'References to Class...'
                         itemValue: [self browseReferencesToClass];
                         activeHelpKey: #browseReferencesToClass).
+    menu addItem: (MenuItem new
+                        label: 'Search String...'
+                        itemValue: [self browseContainingString];
+                        activeHelpKey: #browseContainingString).
     classHistory notEmptyOrNil ifTrue:[
         menu addSeparator.
         menu addItem: (MenuItem new