Make Slider
report gained_focus,has_focus,lost_focus from DragValue
Closes https://github.com/emilk/egui/issues/1268
This commit is contained in:
parent
0d21405855
commit
3ed68274b0
1 changed files with 12 additions and 1 deletions
|
@ -500,7 +500,18 @@ impl<'a> Slider<'a> {
|
||||||
|
|
||||||
if self.show_value {
|
if self.show_value {
|
||||||
let position_range = self.position_range(&response.rect);
|
let position_range = self.position_range(&response.rect);
|
||||||
response |= self.value_ui(ui, position_range);
|
let value_response = self.value_ui(ui, position_range);
|
||||||
|
if value_response.gained_focus()
|
||||||
|
|| value_response.has_focus()
|
||||||
|
|| value_response.lost_focus()
|
||||||
|
{
|
||||||
|
// Use the `DragValue` id as the id of the whole widget,
|
||||||
|
// so that the focus events work as expected.
|
||||||
|
response = value_response | response;
|
||||||
|
} else {
|
||||||
|
// Use the slider id as the id for the whole widget
|
||||||
|
response = response | value_response;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
if !self.text.is_empty() {
|
if !self.text.is_empty() {
|
||||||
|
|
Loading…
Reference in a new issue