import { api } from '../api.js'; // Open a rename modal for the given workspace. Uses the existing .modal-overlay // / .modal / .modal-header / .modal-body / .modal-footer CSS classes. On // successful save, reloads the page (matches the workspace-switch flow). export function openWorkspaceRenameModal(workspace) { const overlay = document.createElement('div'); overlay.className = 'modal-overlay'; overlay.innerHTML = `