mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
committed by
Christian Helmuth
parent
9fae8a7532
commit
40c0db2e8d
@@ -367,6 +367,15 @@ class Dialog::Sandboxed_runtime::View : private Views::Element
|
||||
~View();
|
||||
|
||||
void refresh() { _dialog_rom_session.trigger_update(); }
|
||||
|
||||
bool if_hovered(auto const &fn) const
|
||||
{
|
||||
bool result = false;
|
||||
if (_dialog_hovered)
|
||||
_with_dialog_hover([&] (Xml_node const &location) {
|
||||
result = fn(Hovered_at { Event::Seq_number { }, location }); });
|
||||
return result;
|
||||
}
|
||||
};
|
||||
|
||||
|
||||
|
||||
Reference in New Issue
Block a user