style: 优化界面样式和用户体验

- 调整工具调用显示的间距和字体大小
   - 优化低调工具调用的视觉效果
   - 改进整体界面的可读性
This commit is contained in:
Roe-xin
2026-02-26 21:44:58 +08:00
parent c3e3012a94
commit a479e81682
6 changed files with 90 additions and 51 deletions

View File

@ -5,7 +5,7 @@ import * as vscode from "vscode";
/**
* VCD 文件 HTTP 服务器
* 用于为 Surfer 波形查看器提供 VCD 文件访问
* 用于为 波形查看器提供 VCD 文件访问
*/
export class VCDFileServer {
private server: http.Server | null = null;
@ -98,7 +98,10 @@ export class VCDFileServer {
/**
* 处理 HTTP 请求
*/
private handleRequest(req: http.IncomingMessage, res: http.ServerResponse): void {
private handleRequest(
req: http.IncomingMessage,
res: http.ServerResponse,
): void {
const url = req.url || "";
console.log(`[VCDFileServer] 收到请求: ${url}`);
@ -214,7 +217,12 @@ export class VCDFileServer {
}
const fileName = match[1];
const filePath = path.join(this.extensionUri.fsPath, "media", "surfer", fileName);
const filePath = path.join(
this.extensionUri.fsPath,
"media",
"surfer",
fileName,
);
if (!fs.existsSync(filePath)) {
console.error(`[VCDFileServer] 静态文件不存在: ${filePath}`);
@ -257,8 +265,8 @@ export class VCDFileServer {
*/
private parseVcdRootScope(vcdFilePath: string): string[] {
try {
const buffer = fs.readFileSync(vcdFilePath, { encoding: 'utf8' });
const lines = buffer.split('\n');
const buffer = fs.readFileSync(vcdFilePath, { encoding: "utf8" });
const lines = buffer.split("\n");
const scopeNames: string[] = [];
let scopeDepth = 0;
@ -267,7 +275,7 @@ export class VCDFileServer {
for (const line of lines) {
const trimmed = line.trim();
if (trimmed.startsWith('$enddefinitions')) {
if (trimmed.startsWith("$enddefinitions")) {
break;
}
@ -276,17 +284,17 @@ export class VCDFileServer {
const scopeType = scopeMatch[1];
const scopeName = scopeMatch[2];
if (scopeDepth === 0 && scopeType === 'module') {
if (scopeDepth === 0 && scopeType === "module") {
scopeStack.push(scopeName);
} else if (scopeDepth === 1 && scopeType === 'module') {
} else if (scopeDepth === 1 && scopeType === "module") {
const fullPath = [...scopeStack, scopeName];
scopeNames.push(fullPath.join('.'));
scopeNames.push(fullPath.join("."));
}
scopeDepth++;
}
if (trimmed.startsWith('$upscope')) {
if (trimmed.startsWith("$upscope")) {
scopeDepth--;
if (scopeDepth === 0) {
scopeStack.pop();
@ -323,7 +331,7 @@ export class VCDFileServer {
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=no">
<title>Surfer 波形查看器 - ${fileName}</title>
<title>波形查看器 - ${fileName}</title>
<script>
window.surferReady = false;
window.pendingVcdData = null;