Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
x-terminal-emulator.patch | Change default terminal command to 'x-terminal-emulator' | Graham Inggs <ginggs@debian.org> | not-needed | 2024-05-20 | ||
hide-build-info.patch | Do not display build info in window title | Graham Inggs <ginggs@debian.org> | not-needed | 2022-10-10 | ||
disable-splash.patch | Do not display splash screen at startup | Graham Inggs <ginggs@debian.org> | not-needed | 2023-08-09 |