From 62dda07c01e3cbbb5ab687e45d8da3c705e9a7ae Mon Sep 17 00:00:00 2001 From: Mehmet Ali Date: Sun, 12 Feb 2023 20:54:21 +0300 Subject: [PATCH] Fix Linux Selectbox & Update Examples --- events.v | 2 +- examples/player.v | 4 ++-- examples/scrollable_widgets.v | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/events.v b/events.v index 4350ba4..89b796e 100644 --- a/events.v +++ b/events.v @@ -10,7 +10,7 @@ fn click_fn(x f32, y f32, mb gg.MouseButton, mut app &Window) { app.native_focus = false unsafe{ if app.focus!="" && app.active_dialog=="" { - if get_object_by_id(app, app.focus)["type"].str=="selectbox" && int(app.draw_mode) == 0 { + if get_object_by_id(app, app.focus)["type"].str=="selectbox" && $if windows { int(app.draw_mode)^1 == 0 } $else { true } { mut old_focused_object:=get_object_by_id(app, app.focus) app.focus="" the_list := old_focused_object["list"].str.split("\0") diff --git a/examples/player.v b/examples/player.v index ffd58ea..f030b8e 100644 --- a/examples/player.v +++ b/examples/player.v @@ -16,8 +16,8 @@ mut: music ma.Sound } -fn map_play_time(time int) string{ - return (time/60).str()+":"+(time%60).str() +fn map_play_time(the_time int) string{ + return (the_time/60).str()+":"+(the_time%60).str() } fn move_play_slider(mut app &mui.Window, mut app_data &AppData){ diff --git a/examples/scrollable_widgets.v b/examples/scrollable_widgets.v index 29f14ce..292076f 100644 --- a/examples/scrollable_widgets.v +++ b/examples/scrollable_widgets.v @@ -7,7 +7,7 @@ user_list:=[ ["Nathan","Drake", "28","Canada" ] ] -mut app:=m.create(title:"MUI", scrollbar:true, width:800, height: 600 view_area:[1000,1000], prefer_native:true) +mut app:=m.create(title:"MUI", scrollbar:true, width:800, height: 600 view_area:[1000,1000], draw_mode:.system_native) app.textarea(id:"textarea", x:20, y:20, width:160, height:200, text:"1\n2\n3\n4\n5\n6\n7\n8\n9\n10\n11\n12\n13\n14\n15\n16\n17\n18\n19\n20") app.scrollbar(id:"textarea_scrollbar", x:180, y:20, width: 15, height:200, vertical:true, connected_widget:app.get_object_by_id("textarea")[0])