diff options
| author | Maxime Coste <mawww@kakoune.org> | 2017-06-16 10:19:08 +0100 |
|---|---|---|
| committer | Maxime Coste <mawww@kakoune.org> | 2017-06-16 10:19:08 +0100 |
| commit | 42f03fb71f7e9200917a0dccfb09715ae8c0b5f3 (patch) | |
| tree | 5206b588e770c8ae26fe557492a91b002a20b77d /src/optional.hh | |
| parent | 2992d5bb0ba3c9d820cc3235527cf1714ee27e52 (diff) | |
Hide info/menu when they are anchored to an invisible buffer coord
Fixes #1444
Diffstat (limited to 'src/optional.hh')
| -rw-r--r-- | src/optional.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/optional.hh b/src/optional.hh index 623d6b23..153b5449 100644 --- a/src/optional.hh +++ b/src/optional.hh @@ -57,6 +57,8 @@ public: (not m_valid or m_value == other.m_value); } + bool operator!=(const Optional& other) const { return !(*this == other); } + template<typename... Args> void emplace(Args&&... args) { |