diff options
author | Stijn Buys <ingar@telenet.be> | 2020-07-18 17:39:47 +0200 |
---|---|---|
committer | Stijn Buys <ingar@telenet.be> | 2020-07-18 17:39:47 +0200 |
commit | c1ce0ecd3458e1939b4e6c9947684378078a724f (patch) | |
tree | bc08b8f4f2c4765ab4606ceda9cee45923a1918a /src/ui/label.h | |
parent | 41ec4ed68571091f2e2500344a7aeb527a91dc92 (diff) |
Always draw tooltips on top of the widget stack.
Diffstat (limited to 'src/ui/label.h')
-rw-r--r-- | src/ui/label.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ui/label.h b/src/ui/label.h index a895691..f187744 100644 --- a/src/ui/label.h +++ b/src/ui/label.h @@ -19,7 +19,7 @@ class Label : public Widget { public: Label(Widget *parent, const char *text = 0); - ~Label(); + virtual ~Label(); /// set the text displayed by the label void set_text(const std::string &text); |