terminal 5.4.0 is out!
Changes:
- Don't remember tabs when History is disabled in System Settings
- Show keyboard shortcuts in the secondary-click menu
- Middle-click paste now properly follows System Settings
- Shift + Control + D to duplicate tabs
- Use neutral colors for the dark style scheme
- Slightly pad text from the edge of the window
- Translation updates