|
"use strict";
|
|
|
|
// Widget toolkit manager
|
|
(globalThis.Toolkit = class Toolkit {
|
|
|
|
// Static initializer
|
|
static initializer() {
|
|
|
|
// Static fields
|
|
Toolkit.lastId = 0;
|
|
}
|
|
|
|
// Produce a unique element ID
|
|
static id() {
|
|
return "i" + (Toolkit.lastId++);
|
|
}
|
|
|
|
}).initializer();
|