// see JSPanel.de sclass JSPanel { sclass Options { S headerTitle = null; new LS contents; // HTML content S theme; // e.g. "info" S overflow; // e.g. "hidden" S border; // e.g. "thick dashed orange" HeaderControls headerControls; Map asMap() { ret mapValues_withoutNulls nullIfEmpty((SS) litorderedmap( +headerTitle, content := lines_rtrim(contents), +theme, +overflow, +border, )); } HeaderControls headerControls() { ret headerControls == null ? (headerControls = new HeaderControls) : headerControls; } } Options newOptions() { ret new Options; } // expression to create this panel JS createPanel(Options options default null) { ret JS("jsPanel.create($options)", options := or(options, newOptions()).asMap()); } S headStuff() { ret hlink("https://cdn.jsdelivr.net/npm/jspanel4@4.12.0/dist/jspanel.css") + hlink("https://cdn.jsdelivr.net/npm/jspanel4@4.12.0/dist/jspanel.js"); } ifdef guggida /* */ endifdef }