fix exclusive zone, bump gtk-layer-shell version (#153)

Mick Amadio · web-flow · commit def62a6c6ade · 2023-08-06T15:36:55.000+10:00
diff --git a/src/widget_window.c b/src/widget_window.c
@@ -162,7 +162,7 @@ GtkWidget *widget_window_create(
 		gtk_layer_set_layer(GTK_WINDOW(widget), layer);
 	}
 	if (edge != GTK_LAYER_SHELL_EDGE_ENTRY_NUMBER) {
-		gtk_layer_auto_exclusive_zone_enable (GTK_WINDOW(widget));
+		gtk_layer_set_exclusive_zone (GTK_WINDOW(widget), 0);
 		gtk_layer_set_margin(GTK_WINDOW(widget), GTK_LAYER_SHELL_EDGE_LEFT, 20);
 		gtk_layer_set_margin(GTK_WINDOW(widget), GTK_LAYER_SHELL_EDGE_RIGHT, 20);
 		gtk_layer_set_margin(GTK_WINDOW(widget), GTK_LAYER_SHELL_EDGE_TOP, 10);
diff --git a/subprojects/gtk-layer-shell.wrap b/subprojects/gtk-layer-shell.wrap
@@ -1,3 +1,3 @@
 [wrap-git]
 url = https://github.com/wmww/gtk-layer-shell
-revision = ca37ef1baa623302dda5fcea200d04e0d9a10578
+revision = 0.8.1

Original file line number	Diff line number	Diff line change
`@@ -162,7 +162,7 @@ GtkWidget *widget_window_create(`
`162`	`162`	`gtk_layer_set_layer(GTK_WINDOW(widget), layer);`
`163`	`163`	`}`
`164`	`164`	`if (edge != GTK_LAYER_SHELL_EDGE_ENTRY_NUMBER) {`
`165`		`- gtk_layer_auto_exclusive_zone_enable (GTK_WINDOW(widget));`
	`165`	`+ gtk_layer_set_exclusive_zone (GTK_WINDOW(widget), 0);`
`166`	`166`	`gtk_layer_set_margin(GTK_WINDOW(widget), GTK_LAYER_SHELL_EDGE_LEFT, 20);`
`167`	`167`	`gtk_layer_set_margin(GTK_WINDOW(widget), GTK_LAYER_SHELL_EDGE_RIGHT, 20);`
`168`	`168`	`gtk_layer_set_margin(GTK_WINDOW(widget), GTK_LAYER_SHELL_EDGE_TOP, 10);`