coq / platform

Multi platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal
188 stars 49 forks source link

CoqIDE Freezes #343

Closed amryounis closed 8 months ago

amryounis commented 1 year ago

When opening customization dialog from Edit menu, doing any resizing or border sliding causes the application to freeze. I tried Windows' troubleshooting compatibility with no luck.

ejgallego commented 8 months ago

Thanks for the report @amryounis , please report this bug upstream at https://github.com/coq/coq/issues