Upload 9 files

src/views/InstructorView.js

@@ -689,6 +689,7 @@ export function setupInstructorEvents() {
         // Nav to Admin
         if (navAdminBtn) {
             navAdminBtn.addEventListener('click', () => {
+                localStorage.setItem('vibecoding_admin_referer', 'instructor');
                 window.location.hash = '#admin';
             });
         }
@@ -783,6 +784,35 @@ export function setupInstructorEvents() {
                             console.log("Hiding Modal and Setting Permissions...");
                             authModal.classList.add('hidden');
                             checkPermissions(instructorData);
+
+                            // Auto-Restore Room View if exists
+                            const savedRoomCode = localStorage.getItem('vibecoding_room_code');
+                            if (savedRoomCode) {
+                                console.log("Restoring Room Session:", savedRoomCode);
+                                const roomInfo = document.getElementById('room-info');
+                                const displayRoomCode = document.getElementById('display-room-code');
+                                const createContainer = document.getElementById('create-room-container');
+                                const dashboardContent = document.getElementById('dashboard-content');
+
+                                // Restore UI
+                                createContainer.classList.add('hidden');
+                                roomInfo.classList.remove('hidden');
+                                dashboardContent.classList.remove('hidden');
+                                displayRoomCode.textContent = savedRoomCode;
+
+                                // Re-subscribe locally using the existing updateDashboard logic if available, 
+                                // or we need to redefine the callback here. 
+                                // Since updateDashboard is inside createBtn scope, we can't mistakenly access it if it's not global.
+                                // Wait, updateDashboard IS inside createBtn scope. That's a problem. 
+                                // We need to move updateDashboard out or duplicate the logic here.
+                                // Duplicating logic for robustness:
+                                subscribeToRoom(savedRoomCode, (data) => {
+                                    const users = Array.isArray(data) ? data : (data?.users ? Object.values(data.users) : []);
+                                    currentStudents = users;
+                                    renderTransposedHeatmap(users);
+                                });
+                            }
+
                         } else {
                             console.warn("User logged in but not an instructor.");
                             // Show unauthorized message
@@ -1709,9 +1739,32 @@ export function setupInstructorEvents() {
 
             if (tool === 'eraser') {
                 currentMode = 'destination-out';
+                // Force larger eraser size (e.g., 3x current size or fixed large)
+                // We'll multiply current selected size by 4 for better UX
+                const multiplier = 4;
+                // Store original explicitly if needed, but currentLineWidth is global. 
+                // We should dynamically adjust context lineWidth during draw, or just hack it here.
+                // Hack: If we change currentLineWidth here, the UI size buttons might look wrong.
+                // Better: Update cursor style only? No, actual draw needs it.
+                // Let's set a separate 'actualWidth' used in draw, OR just change currentLineWidth temporarily?
+                // Simpler: Just change it. When user clicks size button, it resets.
+                // But if user clicks Pen back? We need to restore.
+                // Let's rely on setPenTool being called with color.
+                // When "Pen" is clicked, we usually don't call setPenTool with a saved size...
+                // Actually, let's just use a large default for eraser, and keep currentLineWidth for Pen.
+                // We need to change how draw() uses the width.
+                // BUT, since we don't want to touch draw() deep inside:
+                // We will hijack currentLineWidth.
+                if (!window.savedPenWidth) window.savedPenWidth = currentLineWidth;
+                currentLineWidth = window.savedPenWidth * 4;
             } else {
                 currentMode = 'source-over';
                 currentPenColor = color;
+                // Restore pen width
+                if (window.savedPenWidth) {
+                    currentLineWidth = window.savedPenWidth;
+                    window.savedPenWidth = null;
+                }
             }
             updateCursorStyle();
         };