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
Currently, if an unchanged output item is from stderr (i.e. "name": "stderr" in the json), it looks very similar to deleted output. They are both reddish, though the unchanged stderr is more pink. See the following screenshot for an example:
It would be better if they looked more different. For example, the stderr could be yellowish or something (for warning). The pink color comes from these parts of the html generated by nbdime:
Currently, if an unchanged output item is from stderr (i.e.
"name": "stderr"
in the json), it looks very similar to deleted output. They are both reddish, though the unchanged stderr is more pink. See the following screenshot for an example:It would be better if they looked more different. For example, the stderr could be yellowish or something (for warning). The pink color comes from these parts of the html generated by nbdime:
and
The text was updated successfully, but these errors were encountered: