Jump to letter: [
3ABCDEFGHIJKLMNOPQRSTUVWXYZ
]
gnome-terminal - Terminal emulator for GNOME
- Description:
gnome-terminal is a terminal emulator for GNOME. It features the ability to use
multiple terminals in a single window (tabs) and profiles support.
Packages
| gnome-terminal-3.28.2-3.vl7.src
[2.1 MiB] |
Changelog
by Debarshi Ray (2020-05-28):
- Fix "Match case" to always take effect immediately
- Resolves: #1442629
|
| gnome-terminal-3.28.2-2.vl7.src
[2.1 MiB] |
Changelog
by Debarshi Ray (2018-06-08):
- Backport fix for client-side memory error (GNOME/gnome-terminal#1)
- Bump BuildRequires versions
- Drop the dark theme override
- Rebase and restore the scroll speed patches
- Rebase and restore the patch to allow old ISO 8895 charsets
- Restore the GConf migration tool
- Resolves: #1568632
|