(str: string)
| 91 | buttonList.append(htmlarea); |
| 92 | this.htmlarea = new WeakRef(htmlarea); |
| 93 | this.buttonTable = new WeakRef(buttonTable); |
| 94 | return buttonList; |
| 95 | } |
| 96 | makeButtonHTML({name, inner, contained, head, color}: buttonType, optionsArea: HTMLElement) { |
| 97 | const button = document.createElement(head ? "span" : "button"); |
| 98 | this.buttonMap.set(inner, button); |
| 99 | button.classList.add( |
| 100 | ...[head ? "headSetting" : "SettingsButton", contained ? "settingsIndent" : ""].filter( |