Editor: New plugin, specifically a pop-up editor to facilitate multi-line document editing