Spaces:
Running
Running
Upload 9 files
Browse files
src/views/InstructorView.js
CHANGED
|
@@ -217,8 +217,10 @@ export async function renderInstructorView() {
|
|
| 217 |
<div class="w-px h-6 bg-gray-600 mx-2"></div>
|
| 218 |
|
| 219 |
<!-- Eraser -->
|
| 220 |
-
<button class="annotation-tool p-2 rounded-full hover:bg-gray-700 transition-colors ring-2 ring-transparent focus:outline-none" data-tool="eraser" onclick="setPenTool('eraser', null, this)" title="橡皮擦">
|
| 221 |
-
<
|
|
|
|
|
|
|
| 222 |
</button>
|
| 223 |
|
| 224 |
<div class="w-px h-6 bg-gray-600 mx-2"></div>
|
|
@@ -1805,7 +1807,7 @@ export function setupInstructorEvents() {
|
|
| 1805 |
document.getElementById('broadcast-author').textContent = student.nickname;
|
| 1806 |
document.getElementById('broadcast-challenge').textContent = title;
|
| 1807 |
// content is already just text, but let's be safe
|
| 1808 |
-
document.getElementById('broadcast-prompt').textContent = p.prompt || p.code || ''; // robust fallback
|
| 1809 |
|
| 1810 |
// Store IDs for actions
|
| 1811 |
modal.dataset.userId = userId;
|
|
|
|
| 217 |
<div class="w-px h-6 bg-gray-600 mx-2"></div>
|
| 218 |
|
| 219 |
<!-- Eraser -->
|
| 220 |
+
<button class="annotation-tool p-2 rounded-full hover:bg-gray-700 transition-colors ring-2 ring-transparent focus:outline-none flex items-center justify-center" data-tool="eraser" onclick="setPenTool('eraser', null, this)" title="橡皮擦">
|
| 221 |
+
<svg xmlns="http://www.w3.org/2000/svg" class="w-5 h-5 text-gray-400" fill="none" viewBox="0 0 24 24" stroke="currentColor" stroke-width="2">
|
| 222 |
+
<path stroke-linecap="round" stroke-linejoin="round" d="M19 7l-.867 12.142A2 2 0 0116.138 21H7.862a2 2 0 01-1.995-1.858L5 7m5 4v6m4-6v6m1-10V4a1 1 0 00-1-1h-4a1 1 0 00-1 1v3M4 7h16" />
|
| 223 |
+
</svg>
|
| 224 |
</button>
|
| 225 |
|
| 226 |
<div class="w-px h-6 bg-gray-600 mx-2"></div>
|
|
|
|
| 1807 |
document.getElementById('broadcast-author').textContent = student.nickname;
|
| 1808 |
document.getElementById('broadcast-challenge').textContent = title;
|
| 1809 |
// content is already just text, but let's be safe
|
| 1810 |
+
document.getElementById('broadcast-prompt').textContent = (p.prompt || p.code || '').trim(); // robust fallback
|
| 1811 |
|
| 1812 |
// Store IDs for actions
|
| 1813 |
modal.dataset.userId = userId;
|