New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
LablGTK-CRITICAL message #68
Comments
ocaml blocking would be a problem. GTK messages spamming the console aren't in general (new ones appear with every version of GTK, and most programs using GTK have them...). The
⏹️ or ⏪ should always work, otherwise it's a bug. |
1/ GTK messages 2/ Editor blocked again:
Workaround: save the file [ctrl s], create new file [ctrl n] open the saved file [ctrl o], without necessarily relaunching the Toplelev with ⏪. |
I dont know if this is the correct place but i have been searching for a solution to this
this is stuck here till i press ctrl+c and abort this but gui is not opening up. This is frama-c in wsl2 Ubuntu in windows 10 |
Every time, the terminal used to launch ocaml-top throws a bunch of messages, whether all goes fine or not while editing and especially when evaluating OCaml code (when the toplevel is blocked, ocaml-top should be quitted).
1/ Is this a problem? Can it be fixed?
2/ What about the situation when the toplevel is blocked?
Is Quit the only thing to do? (sometimes << can relaunch the toplelevel)
Configuration: ocaml-top 1.1.5 with Ocaml 4.06.1 on Debian Stretch
The text was updated successfully, but these errors were encountered: