diff options
| author |  Giuliano Bellini <100347457+GyulyVGC@users.noreply.github.com> | 2023-02-02 16:52:56 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2023-02-02 16:52:56 +0100 |
| commit | a35d6d2e4d59f71309f31c87ea5150959d639185 (patch) | |
| tree | efd44456685739bce1962146e66002654c9ecb0e /native/src/shell.rs | |
| parent | 49e9a9a5379c1e9a9469045ca9a51ffb860ee620 (diff) | |
| parent | 98a717383acf71d7939d7cc90d350743487f0380 (diff) | |
| download | iced-a35d6d2e4d59f71309f31c87ea5150959d639185.tar.gz iced-a35d6d2e4d59f71309f31c87ea5150959d639185.tar.bz2 iced-a35d6d2e4d59f71309f31c87ea5150959d639185.zip | |
Merge branch 'iced-rs:master' into master
Diffstat (limited to '')
| -rw-r--r-- | native/src/shell.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/native/src/shell.rs b/native/src/shell.rs index f1ddb48e..74a5c616 100644 --- a/native/src/shell.rs +++ b/native/src/shell.rs @@ -25,6 +25,11 @@ impl<'a, Message> Shell<'a, Message> { } } + /// Returns true if the [`Shell`] contains no published messages + pub fn is_empty(&self) -> bool { + self.messages.is_empty() + } + /// Publish the given `Message` for an application to process it. pub fn publish(&mut self, message: Message) { self.messages.push(message); |