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
79
80
81
82
83
84
85
86
87
88
89
90
|
#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;
}
|
