Improve UI: don't disable 'Cancel' button in backend chooser dialog
Description
Description
Details
Details
- Committed
sirgienko Aug 14 2019, 8:55 PM - Parents
- R55:8d6a0075d695: Fix bug in JuliaSession
- Branches
- Unknown
- Tags
sirgienko | Aug 14 2019, 8:55 PM |