/usr/share/gnome-shell/extensions/mailnag@pulb.github.com/prefs.js is in gnome-shell-mailnag 3.26.0-1.
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 | /* Mailnag - GNOME-Shell extension frontend
*
* Copyright 2013 - 2016 Patrick Ulbrich <zulu99@gmx.net>
*
* This program 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 2 of the License, or
* (at your option) any later version.
*
* This program 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 this program; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
* MA 02110-1301, USA.
*/
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('mailnag-gnome-shell');
const _ = Gettext.gettext;
const MAX_VISIBLE_MAILS_LIMIT = 20;
const MailnagSettingsWidget = new GObject.Class({
Name: 'Mailnag.Prefs.MailnagSettingsWidget',
GTypeName: 'MailnagSettingsWidget',
Extends: Gtk.Box,
_init : function(params) {
this.parent(params);
this.orientation = Gtk.Orientation.VERTICAL;
this.margin = 12;
this.spacing = 6;
let settings = Convenience.getSettings();
let box = new Gtk.Box( { orientation: Gtk.Orientation.HORIZONTAL, spacing: 6 } );
box.add(new Gtk.Label( { label: _('Maximum number of visible mails:') } ));
let spinbtn = Gtk.SpinButton.new_with_range(1, MAX_VISIBLE_MAILS_LIMIT, 1);
spinbtn.set_value(settings.get_int('max-visible-mails'));
settings.bind('max-visible-mails', spinbtn, 'value', Gio.SettingsBindFlags.DEFAULT);
box.add(spinbtn);
this.add(box);
let checkbtn_remove = new Gtk.CheckButton( { label: _('Remove indicator icon if maillist is empty') } );
settings.bind('remove-indicator', checkbtn_remove, 'active', Gio.SettingsBindFlags.DEFAULT);
this.add(checkbtn_remove);
let checkbtn_group = new Gtk.CheckButton( { label: _('Group mails by account') } );
settings.bind('group-by-account', checkbtn_group, 'active', Gio.SettingsBindFlags.DEFAULT);
this.add(checkbtn_group);
let checkbtn_avatars = new Gtk.CheckButton( { label: _('Show avatars') } );
settings.bind('show-avatars', checkbtn_avatars, 'active', Gio.SettingsBindFlags.DEFAULT);
this.add(checkbtn_avatars);
let checkbtn_dates = new Gtk.CheckButton( { label: _('Show dates') } );
settings.bind('show-dates', checkbtn_dates, 'active', Gio.SettingsBindFlags.DEFAULT);
this.add(checkbtn_dates);
let checkbtn_mark = new Gtk.CheckButton( { label: _('Show Mark-All-As-Read button') } );
settings.bind('show-mark-all-as-read-button', checkbtn_mark, 'active', Gio.SettingsBindFlags.DEFAULT);
this.add(checkbtn_mark);
let checkbtn_check = new Gtk.CheckButton( { label: _('Show Check-For-Mail button') } );
settings.bind('show-check-for-mail-button', checkbtn_check, 'active', Gio.SettingsBindFlags.DEFAULT);
this.add(checkbtn_check);
let checkbtn_settings = new Gtk.CheckButton( { label: _('Show Settings button') } );
settings.bind('show-settings-button', checkbtn_settings, 'active', Gio.SettingsBindFlags.DEFAULT);
this.add(checkbtn_settings);
let checkbtn_quit = new Gtk.CheckButton( { label: _('Show Quit button') } );
settings.bind('show-quit-button', checkbtn_quit, 'active', Gio.SettingsBindFlags.DEFAULT);
this.add(checkbtn_quit);
}
});
function init() {
Convenience.initTranslations();
}
function buildPrefsWidget() {
let widget = new MailnagSettingsWidget();
widget.show_all();
return widget;
}
|