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