Index: lib/api.js |
=================================================================== |
--- a/lib/api.js |
+++ b/lib/api.js |
@@ -20,16 +20,17 @@ var API = (function() |
var Filter = require("filterClasses").Filter; |
var Subscription = require("subscriptionClasses").Subscription; |
var SpecialSubscription = require("subscriptionClasses").SpecialSubscription; |
var FilterStorage = require("filterStorage").FilterStorage; |
var defaultMatcher = require("matcher").defaultMatcher; |
var ElemHide = require("elemHide").ElemHide; |
var Synchronizer = require("synchronizer").Synchronizer; |
var Prefs = require("prefs").Prefs; |
+ var checkForUpdates = require("updater").checkForUpdates; |
return { |
getFilterFromText: function(text) |
{ |
text = Filter.normalize(text); |
if (!text) |
throw "Attempted to create a filter from empty text"; |
return Filter.fromText(text); |
@@ -151,11 +152,16 @@ var API = (function() |
getPref: function(pref) |
{ |
return Prefs[pref]; |
}, |
setPref: function(pref, value) |
{ |
Prefs[pref] = value; |
+ }, |
+ |
+ forceUpdateCheck: function(eventName) |
+ { |
+ checkForUpdates(true, _triggerEvent.bind(null, eventName)); |
} |
}; |
})(); |