Workbench/src/Extensions/Extensions.blp at 513995ce15581a7d3c4a3851b77613a48086cf47 · workbenchdev/Workbench · GitHub

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
91
92
93
using Gtk 4.0;
using Adw 1;

Adw.Dialog dialog {
  content-height: 750;
  content-width: 600;
  title: _("Extensions");

  Adw.ToolbarView {
    [top]
    Adw.HeaderBar {}

    content: ScrolledWindow {
      hscrollbar-policy: never;

      Adw.Clamp {
        maximum-size: 600;
        tightening-threshold: 400;
        margin-start: 14;
        margin-end: 14;
        margin-top: 30;
        margin-bottom: 30;

        Box {
          orientation: vertical;
          halign: fill;
          // Gtk.Picture needs to be wrapped in a box to behave properly
          Box {
            halign: center;

            Picture picture_illustration {
              can-shrink: false;
              margin-bottom: 30;
            }
          }

          ListBox {
            selection-mode: none;

            styles [
              "boxed-list",
            ]

            $Extension {
              title: _("JavaScript");
              available: true;
            }

            $Extension {
              title: _("Python");
              available: true;
            }

            $Extension extension_rust {
              title: _("Rust");
            }

            $Extension extension_vala {
              title: _("Vala");
            }

            $Extension extension_typescript {
              title: _("TypeScript");
            }
          }

          Label restart_hint {
            label: "To apply changes, restart Workbench once\nthe commands have completed";
            visible: false;
            margin-top: 30;
            justify: center;
            wrap: true;

            styles [
              "dim-label",
            ]
          }

          Label all_set_hint {
            label: "You’re all set!";
            margin-top: 30;
            justify: center;
            wrap: true;

            styles [
              "dim-label",
            ]
          }
        }
      }
    };
  }
}