[isabelle] Surpress warning-squiggly lines in JEdit
Perhaps a stupid question, but I can’t seem to find a way to surpress the squiggly lines that JEdit puts in the proof document whenever there is some output or warning message from the command! e.g. on a function definition when it outputs that it has found a termination order and similar things.
I would like to switch off the squiggles for warnings and stuff, it kind of makes it look like there are real errors in the theory file, when in fact there is just some message being output. But changing things under Preferences -> Plugin Options does not seem to be right...
This MUST be really simple to do this though?
This archive was generated by a fusion of
Pipermail (Mailman edition) and