1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-31 05:40:03 -04:00

Some minor fixes and additions

This commit is contained in:
Emil Ernerfeldt
2019-11-02 09:50:49 +01:00
parent 1d6bc3baba
commit be8eb02b3f
9 changed files with 21 additions and 7 deletions

View File

@@ -247,7 +247,7 @@ impl Widget for RadioButton {
// ----------------------------------------------------------------------------
pub struct Slider<'a> {
get_set_value: Box<'a + FnMut(Option<f32>) -> f32>,
get_set_value: Box<dyn 'a + FnMut(Option<f32>) -> f32>,
min: f32,
max: f32,
id: Option<Id>,