#940572 gnome-terminal: changing font size on one tab has effect on other tabs

Package:
gnome-terminal
Source:
gnome-terminal
Description:
GNOME terminal emulator application
Submitter:
Ansgar Burchardt
Date:
2019-09-17 12:45:05 UTC
Severity:
minor