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(a)gmx.com
Laboratoire interdisciplinaire Carnot de Bourgogne
9 Avenue Alain Savary, BP 47870, 21078 DIJON Cedex FRANCE
Tel: +33 (0)380395988
===========================================================================
Show replies by date