Notepad menu (#1072)

* WIP notepad menu
This commit is contained in:
Kyle Reed 2023-05-26 01:02:17 -07:00 committed by GitHub
parent 53fcdedb88
commit 00667cecf9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
7 changed files with 472 additions and 192 deletions

View file

@ -35,6 +35,7 @@ class Optional {
: value_{std::move(value)}, valid_{true} {}
bool is_valid() const { return valid_; }
operator bool() const { return valid_; }
// TODO: Throw if not valid?
T& value() & { return value_; }