--- a/Launcher.st	Mon Aug 03 23:21:04 1998 +0200
+++ b/Launcher.st	Mon Aug 03 23:22:09 1998 +0200
@@ -3915,7 +3915,7 @@
 
     |box check shadows takeFocus returnFocus hasRDoitServer rDoitsEnabled
      rDoitLogging rDoitErrorLogging hostNameInLabel showAccelerators 
-     preemptive hostNameInLabelHolder st80EditingMode resources y|
+     preemptive dynamicPrios hostNameInLabelHolder st80EditingMode resources y|
 
     resources := requestor class classResources.
 
@@ -3930,6 +3930,7 @@
 
     showAccelerators := MenuView showAcceleratorKeys asValue.
     preemptive := Processor isTimeSlicing asValue.
+    dynamicPrios := Processor supportDynamicPriorities asValue.
 
     st80EditingMode := EditTextView st80Mode asValue.
 
@@ -3960,6 +3961,10 @@
     box addHorizontalLine.
 
     box addCheckBox:(resources string:'preemptive scheduling') on:preemptive.
+    box leftIndent:20.
+    check := box addCheckBox:(resources string:'dynamic priorities') on:dynamicPrios.
+    check enableChannel:preemptive.
+    box leftIndent:0.
 
     box addHorizontalLine.
 
@@ -4029,6 +4034,10 @@
                 Processor stopTimeSlicing
             ]
         ].
+        Processor supportDynamicPriorities ~~ dynamicPrios value ifTrue:[
+            Processor supportDynamicPriorities:dynamicPrios value
+        ].
+
         EditTextView st80Mode:(st80EditingMode value).
 
         hasRDoitServer ifTrue:[
@@ -4051,7 +4060,7 @@
     box destroy
 
     "Modified: / 9.9.1996 / 22:43:36 / stefan"
-    "Modified: / 12.6.1998 / 16:53:42 / cg"
+    "Modified: / 3.8.1998 / 23:18:13 / cg"
 !
 
 printerSettingsFor:requestor
@@ -5603,5 +5612,5 @@
 !Launcher class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libtool/Launcher.st,v 1.363 1998-08-03 19:53:05 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libtool/Launcher.st,v 1.364 1998-08-03 21:22:09 cg Exp $'
 ! !