Enrico Forestieri
2014-05-22 22:42:26 UTC
commit a596736d76c318f94c36135756b1d1376c042539
Date: Thu May 22 23:47:38 2014 +0200
Fix another glitch with on-screen indentation.
If a new paragraph is created just before a nested environment,
the indentation of the nested environment is not computed
correctly because the parindent of the previous layout would
also be erroneously taken into account. This would cause the
nested environment to move back and forth when something is
added to the new paragraph.
Richard, Ok for branch? This would be a natural continuation ofDate: Thu May 22 23:47:38 2014 +0200
Fix another glitch with on-screen indentation.
If a new paragraph is created just before a nested environment,
the indentation of the nested environment is not computed
correctly because the parindent of the previous layout would
also be erroneously taken into account. This would cause the
nested environment to move back and forth when something is
added to the new paragraph.
the previous two patches.
--
Enrico
Enrico