Media Manager
Namespaces
Choose namespace
Media Files
Files in apps:terminal:4.12
- terminal-dropdown-preferences.png
- 450×534
- 2019/07/24 00:03
- 32.2 KB
- terminal-dropdown-window.png
- 652×392
- 2019/07/24 00:03
- 72.2 KB
- terminal-edit-preferences.png
- 288×213
- 2019/07/24 00:03
- 7.2 KB
- terminal-find.png
- 402×215
- 2019/07/24 00:03
- 10.4 KB
- terminal-first-time.png
- 644×396
- 2019/07/24 00:03
- 5.3 KB
- terminal-multiple-tabs.png
- 646×426
- 2019/07/24 00:03
- 7.6 KB
- terminal-preferences-advanced.png
- 439×534
- 2019/07/24 00:03
- 29.5 KB
- terminal-preferences-appearance.png
- 448×559
- 2019/07/24 00:03
- 32.6 KB
- terminal-preferences-colors.png
- 439×534
- 2019/07/24 00:03
- 27.2 KB
- terminal-preferences-compatibility.png
- 448×559
- 2019/07/24 00:03
- 27.9 KB
- terminal-preferences-general.png
- 439×534
- 2019/07/24 00:03
- 30 KB
- terminal-set-title.png
- 220×107
- 2019/07/24 00:03
- 5 KB
File
- View
- History
- Date:
- 2019/08/05 12:54
- Filename:
- terminal_prefs.png
- Format:
- PNG
- Size:
- 49KB
- Width:
- 606
- Height:
- 704
- References for:
- preferences