We should remember if user was viewing in pretty print, or render, and what tokenizer they had selected etc. It should feel like if they change it in one place, they change it anywhere.
We should remember if user was viewing in pretty print, or render, and what tokenizer they had selected etc.
It should feel like if they change it in one place, they change it anywhere.