resources/de.rs
changeset 17183 87b950dd5010
parent 17179 fb0d18f08e6b
child 17218 95008a0da101
child 17243 22ead5f9805e
--- a/resources/de.rs	Sun Dec 25 13:09:08 2016 +0100
+++ b/resources/de.rs	Sun Dec 25 13:09:30 2016 +0100
@@ -141,7 +141,8 @@
 'Add Search Page'                                                                                       'Neue Such-Seite'
 'Add Selected Files to Java Source Path (stx:libjava)'                                                  'Ausgewählte Dateien zum Java Source Path hinzufügen (stx:libjava)'
 'Add SharedPool'                                                                                        'SharedPool hinzufügen'
-'Add Shell Terminal Page'                                                                               'Neue Shell-Seite'
+'Add Shell Terminal Page'                                                                               'Neue Seite mit Shell Terminal'
+'Add a shell terminal page'                                                                             'Neue Seite mit Shell Terminal hinzufügen'
 'Add Tab'                                                                                               'Tab hinzufügen'
 'Add Text Editor'                                                                                       'Neuer Texteditor'
 'Add Text Editor Page'                                                                                  'Neue Texteditor-Seite'