Remove document listener from *old* document on setDocument()#3384

iloveeclipse merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

iloveeclipse:issue_2532iloveeclipse/eclipse.platform.ui:issue_2532Copy head branch name to clipboard