(this is somehow halfway between a feature and a bug)
the problem
whenever I split a terminal tab (horizontally or vertically) the font size of all split spaces gets reset to default font size.
the behaviour is the same when splitting via keyboard or using the right-click menu.
the behaviour doesn't happen when closing a previously created split space.
how to reproduce
- open a new terminal tab (or reuse an already opened one)
- adjust font size (CTRL + / CTRL -) changing from default
- split the terminal tab
expected result
the terminal tab is split, no other changes are applied.
actual result
the terminal tab is split and font size is reset to default (as defined in settings) for all terminal tab sections
environment information
Guake Terminal: 3.6.3
VTE: 0.58.3
VTE runtime: 0.58.3
Gtk: 3.24.13
LInux Fedora 31
GNOME Shell 3.34.5
(this is somehow halfway between a feature and a bug)
the problem
whenever I split a terminal tab (horizontally or vertically) the font size of all split spaces gets reset to default font size.
the behaviour is the same when splitting via keyboard or using the right-click menu.
the behaviour doesn't happen when closing a previously created split space.
how to reproduce
expected result
the terminal tab is split, no other changes are applied.
actual result
the terminal tab is split and font size is reset to default (as defined in settings) for all terminal tab sections
environment information
Guake Terminal: 3.6.3
VTE: 0.58.3
VTE runtime: 0.58.3
Gtk: 3.24.13
LInux Fedora 31
GNOME Shell 3.34.5