diff '--color=auto' -ur a/src/widgets/Terminal.vala b/src/widgets/Terminal.vala --- a/src/widgets/Terminal.vala 2022-08-16 12:00:49.384087717 +0100 +++ b/src/widgets/Terminal.vala 2022-08-16 12:01:59.174858132 +0100 @@ -90,7 +90,7 @@ this.bind_data (); this.on_theme_changed (); this.on_font_changed (); - this.on_padding_changed (); + this.settings.terminal_padding = this.settings.schema.get_value ("terminal-padding"); try { this.spawn (command, cwd);