FileEditorState (@Nullable Element sourceElement, @NotNull VirtualFile file, double defaultZoom) { double zoom = defaultZoom; if (sourceElement != null) { try { zoom = Double.parseDouble(sourceElement.getAttributeValue(DESIGNER_ZOOM)); } catch (Throwable ignored) { } } return new DesignerEditorState(file, zoom); }