I'm looking at dev-21 and in the Options window I can't modify any checkbox or any other option. It's as if everything is readonly.
This happened on OSX and Ubuntu.
This bug is caused by the new JIDE version 3.3.8. I will upgrade JIDE to the latest 3.4.0 version which just came out.
This is caused by a JIDE bug. I've added a workaround.
This is caused by a JIDE bug. I've added a workaround.
Issue #6966 |
Closed |
Fixed |
Resolved |
Completion |
No due date |
Fixed Build 12.0-dev-23 |
No time estimate |
This bug is caused by the new JIDE version 3.3.8. I will upgrade JIDE to the latest 3.4.0 version which just came out.