export const widgetName = "document-details"; export const widgetDisplayName = "Document details"; export const widgetCategory = "Community"; export const widgetSelector = "document-details"; export const widgetRuntimeSelector = "document-details-runtime"; export const widgetEditorSelector = "document-details-editor"; export const defaultFileName = "sample_document.html";