Render by default to stderr if stdout is redirected.#899

jonathanslenders merged 1 commit intomasterprompt-toolkit/python-prompt-toolkit:masterfrom

render-to-stderr-when-stdout-is-pipedprompt-toolkit/python-prompt-toolkit:render-to-stderr-when-stdout-is-pipedCopy head branch name to clipboard