1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
#include "gtk-layer-demo.h"
static void on_orientation_changed(GtkWindow* _window, WindowOrientation orientation, GtkWidget* box) {
(void)_window;
switch (orientation) {
case WINDOW_ORIENTATION_HORIZONTAL:
gtk_orientable_set_orientation(GTK_ORIENTABLE(box), GTK_ORIENTATION_HORIZONTAL);
break;
case WINDOW_ORIENTATION_VERTICAL:
gtk_orientable_set_orientation(GTK_ORIENTABLE(box), GTK_ORIENTATION_VERTICAL);
break;
case WINDOW_ORIENTATION_NONE:
gtk_orientable_set_orientation(GTK_ORIENTABLE(box), GTK_ORIENTATION_VERTICAL);
break;
}
}
typedef struct {
GtkLayerShellEdge edge;
GtkWindow* layer_window;
} MarginSpinButtonData;
static void on_margin_changed(GtkSpinButton* button, MarginSpinButtonData* data) {
int value = gtk_spin_button_get_value(button);
gtk_layer_set_margin(data->layer_window, data->edge, value);
}
static GtkWidget* margin_spin_button_new(
GtkWindow* layer_window,
GtkLayerShellEdge edge,
const char* tooltip,
const int default_margins[GTK_LAYER_SHELL_EDGE_ENTRY_NUMBER]
) {
GtkAdjustment* adjustment = gtk_adjustment_new(default_margins[edge], 0.0, 4000.0, 20.0, 50.0, 0.0);
GtkWidget* button = gtk_spin_button_new(adjustment, 0.5, 0);
gtk_widget_set_tooltip_text(button, tooltip);
MarginSpinButtonData* data = g_new0(MarginSpinButtonData, 1);
*data = (MarginSpinButtonData) {
.edge = edge,
.layer_window = layer_window,
};
g_object_set_data_full(G_OBJECT(button), "value-changed_signal_data", data, (GDestroyNotify)g_free);
g_signal_connect(button, "value-changed", G_CALLBACK(on_margin_changed), data);
return button;
}
GtkWidget* margin_control_new(GtkWindow* layer_window, const int default_margins[GTK_LAYER_SHELL_EDGE_ENTRY_NUMBER]) {
const int spacing = 4;
GtkWidget* switch_box = gtk_box_new(GTK_ORIENTATION_VERTICAL, spacing);
g_signal_connect(layer_window, "orientation-changed", G_CALLBACK(on_orientation_changed), switch_box); {
GtkWidget* vbox = gtk_box_new(GTK_ORIENTATION_VERTICAL, spacing);
gtk_box_append(GTK_BOX(switch_box), vbox); {
GtkWidget* button = margin_spin_button_new(layer_window, GTK_LAYER_SHELL_EDGE_LEFT, "Left margin", default_margins);
gtk_box_append(GTK_BOX(vbox), button);
} {
GtkWidget* button = margin_spin_button_new(layer_window, GTK_LAYER_SHELL_EDGE_RIGHT, "Right margin", default_margins);
gtk_box_append(GTK_BOX(vbox), button);
}
} {
GtkWidget* vbox = gtk_box_new(GTK_ORIENTATION_VERTICAL, spacing);
gtk_box_append(GTK_BOX(switch_box), vbox); {
GtkWidget* button = margin_spin_button_new(layer_window, GTK_LAYER_SHELL_EDGE_TOP, "Top margin", default_margins);
gtk_box_append(GTK_BOX(vbox), button);
} {
GtkWidget* button = margin_spin_button_new(layer_window, GTK_LAYER_SHELL_EDGE_BOTTOM, "Bottom margin", default_margins);
gtk_box_append(GTK_BOX(vbox), button);
}
}
GtkWidget* popover = gtk_popover_new();
gtk_popover_set_child(GTK_POPOVER(popover), switch_box);
GtkWidget* open_button = gtk_menu_button_new();
gtk_menu_button_set_label(GTK_MENU_BUTTON(open_button), "Set margin");
gtk_menu_button_set_popover(GTK_MENU_BUTTON(open_button), popover);
gtk_widget_set_tooltip_text(open_button, "Space to leave empty around surface");
return open_button;
}
|
