You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
export_code term file - should output the generated code to stdout. In PG this is shown in the normal responses window. In jEdit and Eclipse this does not produce any info at all (no squigglies, no bubbles, no popups, no nothing). But this is obviously not the way it should be.
The text was updated successfully, but these errors were encountered:
export_code term file -
should output the generated code to stdout. In PG this is shown in the normal responses window. In jEdit and Eclipse this does not produce any info at all (no squigglies, no bubbles, no popups, no nothing). But this is obviously not the way it should be.The text was updated successfully, but these errors were encountered: