flying-hero
96f6318101
新增: - backend/venv/ - Python 虚拟环境 - backend/start.sh - 启动脚本（使用虚拟环境） - backend/requirements.txt - 依赖列表 - .gitignore - 忽略虚拟环境和缓存文件 说明: - 每个项目使用独立虚拟环境 - 避免依赖冲突 - 启动脚本自动创建和激活虚拟环境
38 lines
1.1 KiB
JavaScript
38 lines
1.1 KiB
JavaScript
const Spacer = require('./Spacer.js');
|
|
const theme = require('../theme.js');
|
|
|
|
/**
|
|
* @typedef {Object} RuntimeErrorHeaderProps
|
|
* @property {number} currentErrorIndex
|
|
* @property {number} totalErrors
|
|
*/
|
|
|
|
/**
|
|
* A fixed header that shows the total runtime error count.
|
|
* @param {Document} document
|
|
* @param {HTMLElement} root
|
|
* @param {RuntimeErrorHeaderProps} props
|
|
* @returns {void}
|
|
*/
|
|
function RuntimeErrorHeader(document, root, props) {
|
|
const header = document.createElement('div');
|
|
header.innerText = 'Error ' + (props.currentErrorIndex + 1) + ' of ' + props.totalErrors;
|
|
header.style.backgroundColor = '#' + theme.red;
|
|
header.style.color = '#' + theme.white;
|
|
header.style.fontWeight = '500';
|
|
header.style.height = '2.5rem';
|
|
header.style.left = '0';
|
|
header.style.lineHeight = '2.5rem';
|
|
header.style.position = 'fixed';
|
|
header.style.textAlign = 'center';
|
|
header.style.top = '0';
|
|
header.style.width = '100vw';
|
|
header.style.zIndex = '2';
|
|
|
|
root.appendChild(header);
|
|
|
|
Spacer(document, root, { space: '2.5rem' });
|
|
}
|
|
|
|
module.exports = RuntimeErrorHeader;
|