DEFAULT_DIAGRAM_TOOLS_BUTTON_SIZE

const DEFAULT_DIAGRAM_TOOLS_BUTTON_SIZE: 15 = 15

The default size for a button in the diagram tools.