blackbox/blackbox-terminal/blackbox_launch_fix.patch


1
2
3
4
5
6
7
8
9
10
11
12

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);