#864683 gnome-terminal: Integrate command-line history with gnome-shell search

Package:
gnome-terminal
Source:
gnome-terminal
Description:
GNOME terminal emulator application
Submitter:
Carlo Marchiori
Date:
2018-09-30 17:15:04 UTC
Severity:
wishlist