no feedbackwindow for html5 for now

This commit is contained in:
2025-07-29 15:41:58 -05:00
parent 58a5d7f684
commit a1b1275aed
2 changed files with 5 additions and 1 deletions

View File

@@ -23,7 +23,8 @@
("Menu"
(subMenu))
("Feedback"
(FeedbackWindow.collectFeedback showMenu))
(#when sys
(FeedbackWindow.collectFeedback showMenu)))
("Quit"
(Sys.exit 0))
(never otherwise))