/usr/share/gnome-shell/extensions/show-ip@sgaraud.github.com/prefs.js is in gnome-shell-extension-show-ip 8-3.
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 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 94 95 96 97 98 99 100 101 102 103 104 105 106 107 | /*
* Show IP menu GNOME extension
* https://github.com/sgaraud/gnome-extension-show-ip
*
* Copyright (C) 2015 Sylvain Garaud
*
* This file is part of Show-IP GNOME extension.
* Show IP GNOME extension is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* Show IP GNOME extension is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with Show IP GNOME extension. If not, see <https://www.gnu.org/licenses/>.
*
*/
const Gio = imports.gi.Gio;
const Gtk = imports.gi.Gtk;
const GObject = imports.gi.GObject;
const ExtensionUtils = imports.misc.extensionUtils;
const Me = ExtensionUtils.getCurrentExtension();
const Convenience = Me.imports.convenience;
const Gettext = imports.gettext.domain(Me.metadata['gettext-domain']);
const _ = Gettext.gettext;
const SETTINGS_APP_ICON_MODE = 'app-icon-mode';
const SETTINGS_IPV6 = 'ipv6';
const SETTINGS_MENU = 'menu';
const SETTINGS_PUBLIC = 'public';
const SETTINGS_LOOKUP_SERVICE = 'ip-lookup-service';
const ShowIPSettingsWidget = new GObject.Class({
Name: 'ShowIP.Prefs.ShowIPSettingsWidget',
GTypeName: 'ShowIPSettingsWidget',
Extends: Gtk.Grid,
_init: function (params) {
this.parent(params);
this.margin = 24;
this.row_spacing = 6;
this.orientation = Gtk.Orientation.VERTICAL;
this._settings = Convenience.getSettings();
let presentLabel = '<b>' + _("Display options") + '</b>';
this.add(new Gtk.Label({
label: presentLabel, use_markup: true,
halign: Gtk.Align.START
}));
let align = new Gtk.Alignment({left_padding: 12});
this.add(align);
let grid = new Gtk.Grid({
orientation: Gtk.Orientation.VERTICAL,
row_spacing: 6,
column_spacing: 6
});
align.add(grid);
let check = new Gtk.CheckButton({
label: _("Display IPv6 format"),
margin_top: 6
});
this._settings.bind(SETTINGS_IPV6, check, 'active', Gio.SettingsBindFlags.DEFAULT);
this.add(check);
let check2 = new Gtk.CheckButton({
label: _("Display public address"),
margin_top: 6
});
this._settings.bind(SETTINGS_PUBLIC, check2, 'active', Gio.SettingsBindFlags.DEFAULT);
this.add(check2);
let check3 = new Gtk.CheckButton({
label: _("Show in dropdown menu"),
margin_top: 6
});
this._settings.bind(SETTINGS_MENU, check3, 'active', Gio.SettingsBindFlags.DEFAULT);
this.add(check3);
this.add(new Gtk.Label({label: _("Public IP lookup service provider"), halign: Gtk.Align.START}));
let txt = new Gtk.Entry();
this._settings.bind(SETTINGS_LOOKUP_SERVICE, txt, 'text', Gio.SettingsBindFlags.DEFAULT);
this.add(txt);
},
});
function init() {
Convenience.initTranslations();
}
function buildPrefsWidget() {
let widget = new ShowIPSettingsWidget();
widget.show_all();
return widget;
}
|