Crash when opening "Web Browser" preferences menu #927
Labels
bug
error, glitch, fault, flaw, ...
cantfix
A ready-to-merge Pull Request will be accepted.
help wanted
We need your help
Toolbox
The TLA Toolbox/IDE
Description
tla+toolbox
crashes while opening various menus. It was crashing on me while trying to import an example project (but it seems this menu is only accessible on the first start, so I can't report), and it crashes upon openingWeb Browser
preferences menu.It may be a problem in "adoptium", judging by the text in the stacktrace, however the text also claims the version to be
14.0.1+7
, whereas the latest adoptiium is 21.0.3+9. The14.0.1
hasn't been supported for a looong time.So until it's updated it is a TLA+ bug and not Adoptium's.
Expected Behavior
The menu opens
Actual Behavior
tla+toolbox
crashes with the following stack:Steps to Reproduce
File → Preferences → General → Web Browser
Your Environment
The text was updated successfully, but these errors were encountered: