Is there a way to get the size data of all added circle and square PenTool？

[PineSongCN]

Is there a way to get the size data of all added circle and square PenTool？Thank you.

[personalizedrefrigerator]

One method might be to:

1. List all PenTools with toolController.getMatchingTools.
2. Ignore all returned tools that don't create circles/squares.
   • It should be possible to determine this with tool.getStrokeFactory().
3. Get the size of each with tool.getThickness().

For example,

import {
	Editor, PenTool, Color4, makeOutlinedCircleBuilder, EditorEventType,
} from 'js-draw';
import 'js-draw/styles';

const editor = new Editor(document.body);
editor.addToolbar();

// Create an output element
const penToolSizeList = document.createElement('div');
document.body.appendChild(penToolSizeList);

// [Add PenTools here...]

// Returns a list of all PenTools that create strokes with
// makeOutlinedCircleBuilder.
const allCircleTools = () => {
	const toolController = editor.toolController;
	const penTools = toolController.getMatchingTools(PenTool);

	// Only keep pens that create outlined circles:
	return penTools.filter(tool => {
		return tool.getStrokeFactory() === makeOutlinedCircleBuilder;
	});
};

const updateSizeList = () => {
	const sizes = [];
	for (const tool of allCircleTools()) {
		sizes.push(tool.getThickness());
	}

	penToolSizeList.textContent = `Sizes: ${sizes.join(',')}`;
};

// Update the output display whenever a tool's style is changed
editor.notifier.on(EditorEventType.ToolUpdated, updateSizeList);
// ...and just after loading the editor
updateSizeList();

[PineSongCN]

Thank you.