Comment Comment by pveierland It is using JavaScript for user interface customization via:https://gpui-kit.com/shell/ parent pveierland 12 days ago
https://gpui-kit.com/shell/