Changeset dc5c303 in mainline for uspace/lib/ui/private/ui.h

Timestamp:

2023-12-28T13:59:23Z (2 years ago)

Author:

GitHub <noreply@…>

Children:

6b66de6b

Parents:

42c2e65 (diff), f87ff8e (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

git-author:

boba-buba <120932204+boba-buba@…> (2023-12-28 13:59:23)

git-committer:

GitHub <noreply@…> (2023-12-28 13:59:23)

Message:

Merge branch 'master' into topic/packet-capture

File:

• uspace/lib/ui/private/ui.h (modified) (1 diff)

uspace/lib/ui/private/ui.h

@@ -61 +61 @@
         /** Output owned by UI, clean up when destroying UI */
         bool myoutput;
+        /** @c true iff UI is suspended */
+        bool suspended;
         /** @c true if terminating */
         bool quit;