|
morph 0.1.0
Asynchronous bridge between GUI thread and business models
|
A tab's identity in a WorkspaceModel: issued when it opens, never reused. More...
#include <workspace_model.hpp>
Public Member Functions | |
| auto | operator<=> (WorkspaceTabId const &) const =default |
| Ordered by issue. | |
Public Attributes | |
| std::uint64_t | value = 0 |
| The id's number; 0 is never issued. | |
A tab's identity in a WorkspaceModel: issued when it opens, never reused.
Definition at line 79 of file workspace_model.hpp.
|
default |
Ordered by issue.
| std::uint64_t morph::ui::WorkspaceTabId::value = 0 |
The id's number; 0 is never issued.
Definition at line 81 of file workspace_model.hpp.