terminal 5.4.0 Released

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