{ "empty": "No diagram yet.", "editButton": "Edit diagram in fullscreen", "createButton": "Create diagram", "loading": "Loading draw.io …", "saved": "Saved — \"Done\" closes edit mode.", "renderHint": "Switch the page to edit mode to change the diagram." }