LEAN-1078
Return empty text for figures/tables/equations/listings. This will result in the placeholder text to always show in the editor.
Once this is reviewed, I'll need help merging and releasing the change.
Return empty text for figures/tables/equations/listings. This will result in the placeholder text to always show in the editor.
Once this is reviewed, I'll need help merging and releasing the change.