KARL3

  1. Bug #410338
  2. Comment #1

Comment 1 for bug 410338

Revision history for this message
Paul Everitt (paul-agendaless) wrote :

I agree with the analysis by Balazs. If we are pasting in a <div> it should be formatted like a <div>. The only question will then be if there should be a feature enhancement to style the <div> with some margin-top/bottom.