text: /** Gtk utilities */
  
  function getGtkVersion() {
      const {Gtk} = imports.gi;
      const gtkVersion = Gtk.get_major_version();
      return gtkVersion;
  }
  
  function isGtk3() {
      return getGtkVersion() === 3;
  }
  
  function isGtk4() {
      return getGtkVersion() === 4;
  }
  
  function addChildToBox(box, child) {
      if (isGtk4()) {
          box.append(child);
      } else {
          box.add(child);
      }
  }