From 41c24700e8a0160d6ea2bb09eef4c0ccae069eab Mon Sep 17 00:00:00 2001 From: Xie Qingtian Date: Mon, 13 Apr 2020 14:03:09 +0800 Subject: [PATCH] FEAT: GTK: adds float! support for progress and slider face. --- modules/view/backends/gtk3/gui.reds | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/modules/view/backends/gtk3/gui.reds b/modules/view/backends/gtk3/gui.reds index e999439996..a0d0e12c25 100644 --- a/modules/view/backends/gtk3/gui.reds +++ b/modules/view/backends/gtk3/gui.reds @@ -1086,14 +1086,14 @@ change-data: func [ case [ all [ type = progress - TYPE_OF(data) = TYPE_PERCENT + any [TYPE_OF(data) = TYPE_PERCENT TYPE_OF(data) = TYPE_FLOAT] ][ f: as red-float! data gtk_progress_bar_set_fraction widget f/value ] all [ type = slider - TYPE_OF(data) = TYPE_PERCENT + any [TYPE_OF(data) = TYPE_PERCENT TYPE_OF(data) = TYPE_FLOAT] ][ f: as red-float! data gtk_range_set_value widget f/value * 100.0