Hi Nicolas,

I was thinking that maybe it would be nicer to make this depend on the
value of org-src-fontify-natively. What do you think?

Regards
--
Carlos

Reply via email to