| 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)); |
| }, |