Hello,
In FC30 (maybe it was the same in fc38), when we have a gnome-terminal opened, we can easy open a new one just by clicking on +. However, if the first terminal has been open owner preferences like usr/bin/gnome-terminal --zoom=0.9 $* when the 2nd terminal is opened, theses preferences are lost. Indeed, it would be preferable that the same call is done. Even worst, using the gnome-terminal preferences (i.e. by creating his own Profile), we do not have the option to set the zoom option (the minimum with is 1). Having different zooming values induces a bizarre behavior like a rescaling of the windows every time that we switch from one terminal to another one.
Am I missing something?
Thank.
=========================================================================== Patrick DUPRÉ | | email: pdupre@gmx.com Laboratoire interdisciplinaire Carnot de Bourgogne 9 Avenue Alain Savary, BP 47870, 21078 DIJON Cedex FRANCE Tel: +33 (0)380395988 ===========================================================================