Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR introduces some configurable options to get a better experience with the console view
onlyShowLogWhenErrors
Only show console if last message was an error.
onlyLogLastMessage
Only log last message to the console. Removes any previous log
filterPromptFromLogMessages
Whether to filter out those long prompt comming from ghci.
consoleMaxHeight
The console maximum height in pixels. Now console view has no fixed height but rather a configurable maximum height