Any plans on fixing this? As a developer, I would like to be able to save code snippets in Evernote. Formatting button [{}] called CODE suggest I should be able to do this. However, pasting plain text from my emacs drops all indentation (spaces). Interestingly, in this discussion forum, CODE button inserts code fragment with correct indentation:
family_member := λ (j : nat) (jc : j < 2),
UnSafeCast
(SHPointwise Monoid_RthetaFlags (IgnoreIndex abs)
⊚ SafeCast
(SHBinOp (SwapIndex2 j (IgnoreIndex2 sub)))
⊚ Gather Monoid_RthetaFlags (h_index_map j 2)) |}
Could Evernote web app do the same?