Exit Zen
467
src/terminal-prefs.cc:391
English
Clone
0/100 · 5
468
src/terminal-prefs.cc:406
English
Enter new name for profile “%s”:
0/320 · 32
469
src/terminal-prefs.cc:409
English
Rename Profile
0/140 · 14
470
src/terminal-prefs.cc:412
English
Rename
0/100 · 6
471
src/terminal-prefs.cc:427
English
Really delete profile “%s”?
0/270 · 27
472
src/terminal-prefs.cc:430
English
Delete Profile
0/140 · 14
473
src/terminal-prefs.cc:433
English
Delete
0/100 · 6
474
src/terminal-prefs.cc:492
English
This is the default profile
0/270 · 27
475
src/terminal-prefs.cc:516
English
General
0/100 · 7
476
src/terminal-prefs.cc:521
English
Shortcuts
0/100 · 9
477
src/terminal-prefs.cc:658
English
Profiles
0/100 · 8
478
src/terminal-screen.cc:1428
English
No command supplied nor shell requested
0/390 · 39
479
src/terminal-screen.cc:1544 • src/terminal-screen.cc:1891
English
_Relaunch
0/100 · 9
480
src/terminal-screen.cc:1547
English
There was an error creating the child process for this terminal
0/630 · 63
481
src/terminal-screen.cc:1895
English
The child process exited normally with status %d.
0/490 · 49
482
src/terminal-screen.cc:1898
English
The child process was aborted by signal %d.
0/430 · 43
483
src/terminal-screen.cc:1901
English
The child process was aborted.
0/300 · 30
484
src/terminal-tab-label.cc:206
English
Close tab
0/100 · 9
485
src/terminal-util.cc:151
English
There was an error displaying help
0/340 · 34
486
src/terminal-util.cc:209
English
Contributors:
0/130 · 13