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
In a user point of view, the outputs redirected to the standard output window are usually not necessary and can cause this generation to be quite slow (may be more marked on windows).
Wouldn’t it be more convenient to only display them if a debug_level>0 is involved?
I think this option is already built, but would need to change the true to false on this line.
The text was updated successfully, but these errors were encountered:
Good idea. At one point it was like that, but evidently no longer. I'll
fix that.
On Nov 11, 2015 7:29 PM, "JonWel" notifications@github.com wrote:
In a user point of view, the outputs redirected to the standard output
window are usually not necessary and can cause this generation to be quite
slow (may be more marked on windows).
Wouldn’t it be more convenient to only display them if a debug_level>0 is
involved?
—
Reply to this email directly or view it on GitHub #865.
In a user point of view, the outputs redirected to the standard output window are usually not necessary and can cause this generation to be quite slow (may be more marked on windows).
Wouldn’t it be more convenient to only display them if a debug_level>0 is involved?
I think this option is already built, but would need to change the true to false on this line.
The text was updated successfully, but these errors were encountered: