Rare GTK idle_expand_row crash
Somewhat regularly, why3ide crashes with the following error message followed by an abort.
ERROR:/build/gtk+2.0-1aCJs4/gtk+2.0-2.24.31/modules/other/gail/gailtreeview.c:2314:idle_expand_row: code should not be reached
This tends to happen only with large sessions when why3ide has been running for a long time. Is this a Why3 bug or a GTK bug?
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information