/usr/share/seed-gtk3/extensions/Gtk.js is in libseed-gtk3-0 3.2.0-1ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | Gtk = imports.gi.Gtk;
(function()
{
var pack = function(packing)
{
for ( var i in packing )
{
var entry = packing[i];
var expand = entry["expand"];
var padding = entry["padding"];
var fill = entry["fill"];
var child = entry["child"];
var position = entry["position"];
if (position == null)
position = Gtk.PackType.START;
this.pack_start(child);
this.set_child_packing(child,
expand,
fill,
padding,
position);
}
}
Gtk.VBox.prototype.pack = pack;
Gtk.HBox.prototype.pack = pack;
}).apply();
(function()
{
var add_from_string = function(str)
{
this.add_from_string_c(str, str.length);
}
Gtk.Builder.prototype.add_from_string_c = Gtk.Builder.prototype.add_from_string;
Gtk.Builder.prototype.add_from_string = add_from_string;
}).apply();
|