diff --git a/src/stc/scintilla/src/Document.h b/src/stc/scintilla/src/Document.h index cc3873f595..07f0138842 100644 --- a/src/stc/scintilla/src/Document.h +++ b/src/stc/scintilla/src/Document.h @@ -207,6 +207,9 @@ public: bool operator==(const WatcherWithUserData &other) const { return (watcher == other.watcher) && (userData == other.userData); } + bool operator!=(const WatcherWithUserData &other) const { + return !((watcher == other.watcher) && (userData == other.userData)); + } }; private: