← Back to branch summary

~ubuntu-branches/debian/jessie/gnome-shell/jessie

« back to all changes in this revision

Viewing changes to js/misc/history.js

  • Committer: Package Import Robot
  • Author(s): Michael Biebl
  • Date: 2012-05-30 13:19:38 UTC
  • mfrom: (18.1.24 experimental)
  • Revision ID: package-import@ubuntu.com-20120530131938-i3trc1g1p3is2u6x
Tags: 3.4.1-3
Upload to unstable.

Show diffs side-by-side

added added

removed removed

Lines of Context:
js/misc/history.js
7
7
 
8
8
const DEFAULT_LIMIT = 512;
9
9
 
10
 
function HistoryManager(params) {
11
 
    this._init(params);
12
 
}
 
10
const HistoryManager = new Lang.Class({
 
11
    Name: 'HistoryManager',
13
12
 
14
 
HistoryManager.prototype = {
15
13
    _init: function(params) {
16
14
        params = Params.parse(params, { gsettingsKey: null,
17
15
                                        limit: DEFAULT_LIMIT,
111
109
        if (this._key)
112
110
            global.settings.set_strv(this._key, this._history);
113
111
    }
114
 
};
 
112
});
115
113
Signals.addSignalMethods(HistoryManager.prototype);