support rendering of code minings at the very end of the document#2660

mickaelistria merged 1 commit intomastereclipse-platform/eclipse.platform.ui:masterfrom

code_mining_at_end_of_documenteclipse-platform/eclipse.platform.ui:code_mining_at_end_of_documentCopy head branch name to clipboard