yumoqing/pipeline-sdlc
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

workspace: Wterm cursorBlink + PopupWindow resizable

Browse Source
This commit is contained in:
p 2026-08-13 17:19:08 +08:00
parent 9f4307b5d9
commit addfdabc76
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
wwwroot/api/workspace_open.dspy
View File

@ -54,13 +54,13 @@ if ext in text_exts:
ws_url = entire_url("/wss/pipeline-sdlc/workspace_edit.xterm") + "?id=" + quote(file_id)
return {
"widgettype": "PopupWindow",
"options": {"title": name + " (vi 编辑)", "width": "85%", "height": "85%", "auto_open": True},
"options": {"title": name + " (vi 编辑)", "width": "85%", "height": "85%", "auto_open": True, "resizable": True},
"subwidgets": [{
"widgettype": "Wterm",
"options": {
"width": "100%",
"height": "100%",
"term_options": {"fontSize": 14},
"term_options": {"fontSize": 14, "cursorBlink": True},
"ws_url": ws_url
}
}]
@ -70,7 +70,7 @@ if ext in text_exts:
if ext in video_exts:
return {
"widgettype": "PopupWindow",
"options": {"title": name, "width": "70%", "height": "70%", "auto_open": True},
"options": {"title": name, "width": "70%", "height": "70%", "auto_open": True, "resizable": True},
"subwidgets": [{
"widgettype": "VideoPlayer",
"options": {"url": file_url, "width": "100%", "height": "100%"}
@ -80,7 +80,7 @@ if ext in video_exts:
if ext in audio_exts:
return {
"widgettype": "PopupWindow",
"options": {"title": name, "width": "50%", "height": "30%", "auto_open": True},
"options": {"title": name, "width": "50%", "height": "30%", "auto_open": True, "resizable": True},
"subwidgets": [{
"widgettype": "AudioPlayer",
"options": {"url": file_url, "width": "100%", "height": "100%"}
@ -91,7 +91,7 @@ if ext in audio_exts:
if ext in image_exts:
return {
"widgettype": "PopupWindow",
"options": {"title": name, "width": "70%", "height": "70%", "auto_open": True},
"options": {"title": name, "width": "70%", "height": "70%", "auto_open": True, "resizable": True},
"subwidgets": [{
"widgettype": "Image",
"options": {"url": file_url, "width": "100%", "height": "100%"}
@ -105,7 +105,7 @@ download_script = (
)
return {
"widgettype": "PopupWindow",
"options": {"title": name, "cwidth": 34, "cheight": 12, "auto_open": True},
"options": {"title": name, "cwidth": 34, "cheight": 12, "auto_open": True, "resizable": True},
"subwidgets": [
{"widgettype": "Text", "options": {"text": "该文件类型需下载后用本地应用打开", "cfontsize": 1, "padding": "16px", "halign": "middle"}},
{"widgettype": "Button", "options": {"label": "下载文件", "css": "primary"},