mirror of
https://github.com/emilk/egui.git
synced 2026-09-01 06:10:06 -04:00
Small refinements
This commit is contained in:
@@ -617,10 +617,7 @@ impl Focus {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
// AccessKit names the widget by the node id it read from the last tree we sent, so the
|
// Handle accesskit focus requests
|
||||||
// widget has been here before and is in the cache. Handing the focus out here, instead of
|
|
||||||
// waiting for the widget to ask for it, means everything that reads the focus before the
|
|
||||||
// widget runs — styling it, for one — already sees the new focus.
|
|
||||||
let newly_focused = focus_requested_by_accesskit.and_then(|node_id| {
|
let newly_focused = focus_requested_by_accesskit.and_then(|node_id| {
|
||||||
self.focus_widgets_cache
|
self.focus_widgets_cache
|
||||||
.keys()
|
.keys()
|
||||||
|
|||||||
Reference in New Issue
Block a user