resources/de.rs
changeset 11998 236a389cc73e
parent 11994 2563bc6fe730
child 12010 14ed5710171c
--- a/resources/de.rs	Sat Nov 03 10:53:01 2012 +0100
+++ b/resources/de.rs	Sat Nov 03 11:22:06 2012 +0100
@@ -1,6 +1,6 @@
 #encoding utf8
 
-; $Header: /cvs/stx/stx/libtool/resources/de.rs,v 1.195 2012-11-02 10:14:46 cg Exp $
+; $Header: /cvs/stx/stx/libtool/resources/de.rs,v 1.196 2012-11-03 10:22:06 cg Exp $
 ;
 ; German Workspace (and other tools) resources
 ;
@@ -1646,6 +1646,14 @@
 'Switch'                'Segmentumschaltungen'
 'Show Dead Processes'   'Beendete Prozesse anzeigen'
 'Where'                 'Position'
+'Window Title'          'Fenstertitel'
+'Instrumentation'       'Instrumentierung'
+'Enable'                'Einschalten'
+'Disable'               'Ausschalten'
+
+'Stop Timeslicing'              'Zeitscheiben-Scheduling beenden'
+'Start Timeslicing'             'Zeitscheiben-Scheduling starten'
+'Raise Application''s Window'   'Fenster der Anwendung nach vorne bringen'
 
 'Update Process List'   'Aktualisieren'