mirror of
https://github.com/Tria-plc/emaui.git
synced 2026-08-27 01:22:49 +00:00
12 lines
248 B
JSON
12 lines
248 B
JSON
{
|
|
"title": "OccurrenceModuleIdsPluginOptions",
|
|
"type": "object",
|
|
"additionalProperties": false,
|
|
"properties": {
|
|
"prioritiseInitial": {
|
|
"description": "Prioritise initial size over total size.",
|
|
"type": "boolean"
|
|
}
|
|
}
|
|
}
|