allow width and height to have a different number of click points

This commit is contained in:
2025-02-18 11:53:28 +00:00
parent 68cbf59f04
commit 78905b59f0
9 changed files with 129 additions and 75 deletions

View File

@@ -24,7 +24,8 @@ sig
| KEY_SPACE
| USE_TRIANGLES of AppType.triangle list
| TRIANGLES_LOAD_ERROR
| FILE_BROWSER_AND_PATH of { fileBrowser: AppType.file_browser_item vector, path: string }
| FILE_BROWSER_AND_PATH of
{fileBrowser: AppType.file_browser_item vector, path: string}
end
structure InputMessage :> INPUT_MESSAGE =
@@ -53,5 +54,6 @@ struct
| KEY_SPACE
| USE_TRIANGLES of AppType.triangle list
| TRIANGLES_LOAD_ERROR
| FILE_BROWSER_AND_PATH of { fileBrowser: AppType.file_browser_item vector, path: string }
| FILE_BROWSER_AND_PATH of
{fileBrowser: AppType.file_browser_item vector, path: string}
end