Userland/Applications/DisplaySettings/DesktopSettings.gml


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

@GUI::Widget {
    fill_with_background_color: true
    layout: @GUI::VerticalBoxLayout {
        margins: [8]
    }

    @GUI::GroupBox {
        title: "Layout"
        preferred_height: "shrink"
        layout: @GUI::HorizontalBoxLayout {
            margins: [8]
            spacing: 2
        }

        @GUI::Widget {
            fixed_width: 32
            layout: @GUI::VerticalBoxLayout {}

            @GUI::ImageWidget {
                bitmap: "/res/icons/32x32/workspaces.png"
            }

            @GUI::Layout::Spacer {}
        }

        @GUI::Widget {
            layout: @GUI::VerticalBoxLayout {
                margins: [4, 0, 0, 16]
                spacing: 10
            }

            @GUI::Widget {
                layout: @GUI::HorizontalBoxLayout {
                    spacing: 8
                }

                @GUI::Label {
                    text: "Rows:"
                    autosize: true
                }

                @GUI::SpinBox {
                    name: "workspace_rows_spinbox"
                    min: 1
                    max: 16
                }

                @GUI::Widget {
                    fixed_width: 8
                }

                @GUI::Label {
                    text: "Columns:"
                    autosize: true
                }

                @GUI::SpinBox {
                    name: "workspace_columns_spinbox"
                    min: 1
                    max: 16
                }
            }

            @GUI::Label {
                name: "keyboard_shortcuts_label"
                text_alignment: "CenterLeft"
            }
        }
    }
}