← Back to branch summary

~ubuntu-branches/debian/stretch/gnome-sushi/stretch

« back to all changes in this revision

Viewing changes to src/js/viewers/text.js

  • Committer: Package Import Robot
  • Author(s): Andreas Henriksson
  • Date: 2014-07-15 13:16:55 UTC
  • mfrom: (2.1.5 experimental)
  • Revision ID: package-import@ubuntu.com-20140715131655-55wqzvoehb562cn7
Tags: 3.12.0-2
http://bugs.debian.org/753633
* Build-depend on libdiscid-dev instead of libdiscid0-dev (Closes: #753633)
* Upload to unstable.

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/js/viewers/text.js
12
12
 * General Public License for more details.
13
13
 *
14
14
 * You should have received a copy of the GNU General Public License
15
 
 * along with this program; if not, write to the Free Software
16
 
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
17
 
 * 02111-1307, USA.
 
15
 * along with this program; if not, see <http://www.gnu.org/licenses/>.
18
16
 *
19
17
 * The Sushi project hereby grant permission for non-gpl compatible GStreamer
20
18
 * plugins to be used and distributed together with GStreamer and Sushi. This
25
23
 *
26
24
 */
27
25
 
28
 
let MimeHandler = imports.ui.mimeHandler;
29
 
let GtkClutter = imports.gi.GtkClutter;
30
 
let Gtk = imports.gi.Gtk;
31
 
let GLib = imports.gi.GLib;
32
 
let GtkSource = imports.gi.GtkSource;
33
 
let Gio = imports.gi.Gio;
34
 
 
35
 
let Sushi = imports.gi.Sushi;
36
 
 
37
 
let Utils = imports.ui.utils;
 
26
const GtkClutter = imports.gi.GtkClutter;
 
27
const Gtk = imports.gi.Gtk;
 
28
const GLib = imports.gi.GLib;
 
29
const GtkSource = imports.gi.GtkSource;
 
30
const Gio = imports.gi.Gio;
 
31
const Sushi = imports.gi.Sushi;
 
32
 
 
33
const MimeHandler = imports.ui.mimeHandler;
 
34
const Utils = imports.ui.utils;
 
35
 
 
36
const Lang = imports.lang;
38
37
 
39
38
function TextRenderer(args) {
40
39
    this._init(args);
60
59
        let schemaName = 'org.gnome.gedit.preferences.editor';
61
60
        let installedSchemas = Gio.Settings.list_schemas();
62
61
        if (installedSchemas.indexOf(schemaName) > -1) {
63
 
            let geditSettings = new Gio.Settings({ schema: schema_name });
 
62
            let geditSettings = new Gio.Settings({ schema: schemaName });
64
63
            let geditSchemeName = geditSettings.get_string('scheme');
65
64
            if (geditSchemeName != '')
66
65
                this._geditScheme = geditSchemeName;