| Line 39... |
Line 39... |
| 39 |
"Highlight interval:" = "Dauer der Hervorhebung:";
|
39 |
"Highlight interval:" = "Dauer der Hervorhebung:";
|
| 40 |
|
40 |
|
| 41 |
/* NSTextField (Margin width:) : <title:Margin width:> (oid:125) */
|
41 |
/* NSTextField (Margin width:) : <title:Margin width:> (oid:125) */
|
| 42 |
"Margin width:" = "Randbreite:";
|
42 |
"Margin width:" = "Randbreite:";
|
| 43 |
|
43 |
|
| - |
|
44 |
/* NSButton (Match braces/quotes) : <title:Match braces/quotes> (oid:142) */
|
| - |
|
45 |
"Match braces/quotes" = "Klammern automatisch schliessen";
|
| - |
|
46 |
|
| 44 |
/* NSButton (New editor) : <title:New editor> (oid:105) */
|
47 |
/* NSButton (New editor) : <title:New editor> (oid:105) */
|
| 45 |
"New editor" = "Editor auswählen";
|
48 |
"New editor" = "Editor auswählen";
|
| 46 |
|
49 |
|
| 47 |
/* NSTextField (Note: Command is executed in a shell) : <title:Note: Command is executed in a shell> (oid:104) */
|
50 |
/* NSTextField (Note: Command is executed in a shell) : <title:Note: Command is executed in a shell> (oid:104) */
|
| 48 |
"Note: Command is executed in a shell" = "(der Befehl wird in der 'Shell' ausgeführt)";
|
51 |
"Note: Command is executed in a shell" = "(der Befehl wird in der 'Shell' ausgeführt)";
|