547311ff26
listbox is gone, but richlistbox is still here as a custom element and works fine for cases where we don't need virtualization. groupbox label and richlistitem styles should probably be copied to somewhere global once tuned a bit. |
||
|---|---|---|
| .. | ||
| scaffold | ||
| zotero | ||
| zotero-platform | ||