| Index: compiled/library.js |
| =================================================================== |
| --- a/compiled/library.js |
| +++ b/compiled/library.js |
| @@ -38,16 +38,21 @@ |
| console.error(new Error(readString(str)).stack); |
| }, |
| CharToLower: function(charCode) |
| { |
| return String.fromCharCode(charCode).toLowerCase().charCodeAt(0); |
| }, |
| + CharToUpper: function(charCode) |
|
hub
2017/10/25 01:19:38
and remove this too.
|
| + { |
| + return String.fromCharCode(charCode).toUpperCase().charCodeAt(0); |
| + }, |
| + |
| JSNotifyFilterChange: function(topic, filter, subscription, position) |
| { |
| if (subscription) |
| subscription = exports.Subscription.fromPointer(subscription); |
| FilterNotifier.triggerListeners(notifierTopics.get(topic), |
| exports.Filter.fromPointer(filter), subscription, position); |
| }, |