updated graphics touch events to be mouse events

coordinator/renderer.lua

@@ -171,15 +171,15 @@ end
 function renderer.ui_ready() return engine.ui_ready end
 
 -- handle a touch event
----@param event monitor_touch
-function renderer.handle_touch(event)
+---@param event mouse_interaction
+function renderer.handle_mouse(event)
     if event.monitor == engine.monitors.primary_name then
-        ui.main_layout.handle_touch(event)
+        ui.main_layout.handle_mouse(event)
     else
         for id, monitor in pairs(engine.monitors.unit_name_map) do
             if event.monitor == monitor then
                 local layout = ui.unit_layouts[id]  ---@type graphics_element
-                layout.handle_touch(event)
+                layout.handle_mouse(event)
             end
         end
     end

coordinator/startup.lua

@@ -19,7 +19,7 @@ local iocontrol    = require("coordinator.iocontrol")
 local renderer     = require("coordinator.renderer")
 local sounder      = require("coordinator.sounder")
 
-local COORDINATOR_VERSION = "v0.12.3"
+local COORDINATOR_VERSION = "v0.12.4"
 
 local print = util.print
 local println = util.println
@@ -354,7 +354,7 @@ local function main()
             end
         elseif event == "monitor_touch" then
             -- handle a monitor touch event
-            renderer.handle_touch(core.events.touch(param1, param2, param3))
+            renderer.handle_mouse(core.events.touch(param1, param2, param3))
         elseif event == "speaker_audio_empty" then
             -- handle speaker buffer emptied
             sounder.continue()