Track open editors per document, and bring them to the forefront if they are opened when already open, closing #43