bug: Scroll Wheel causes GUI to crash - Githubissues

morazanm / fsm

A DSL for the Automata Theory Classroom

15 stars 6 forks source link

bug: Scroll Wheel causes GUI to crash #38

Open jschappel opened 2 years ago

jschappel commented 2 years ago

Describe the bug

When mouse is over the GUI using the scroll wheel cases the program to crash returning this stack trace:

../../../../../../usr/share/racket/pkgs/htdp-lib/2htdp/private/world.rkt:187:14: on-key: Unknown event: #f

To Reproduce

1) run the following code

(require fsm)
(sm-visualize 'dfa)

2) Move scroll wheel on mouse

OS Observed On

> cat /etc/os-release
NAME="Linux Mint"
VERSION="20.3 (Una)"
ID=linuxmint
ID_LIKE=ubuntu
PRETTY_NAME="Linux Mint 20.3"
VERSION_ID="20.3"
HOME_URL="https://www.linuxmint.com/"
SUPPORT_URL="https://forums.linuxmint.com/"
BUG_REPORT_URL="http://linuxmint-troubleshooting-guide.readthedocs.io/en/latest/"
PRIVACY_POLICY_URL="https://www.linuxmint.com/"
VERSION_CODENAME=una
UBUNTU_CODENAME=focal

Screenshots