Index: compiled/library.js |
=================================================================== |
--- a/compiled/library.js |
+++ b/compiled/library.js |
@@ -38,20 +38,22 @@ mergeInto(LibraryManager.library, { |
console.error(new Error(readString(str)).stack); |
}, |
CharToLower: function(charCode) |
{ |
return String.fromCharCode(charCode).toLowerCase().charCodeAt(0); |
}, |
- JSNotifyFilterChange: function(topic, filter) |
+ JSNotifyFilterChange: function(topic, filter, subscription, position) |
{ |
+ if (subscription) |
+ subscription = exports.Subscription.fromPointer(subscription); |
FilterNotifier.triggerListeners(notifierTopics.get(topic), |
- exports.Filter.fromPointer(filter)); |
+ exports.Filter.fromPointer(filter), subscription, position); |
}, |
JSNotifySubscriptionChange: function(topic, subscription) |
{ |
FilterNotifier.triggerListeners(notifierTopics.get(topic), |
exports.Subscription.fromPointer(subscription)); |
}, |