(option)
| 251 | |
| 252 | // Handle tools option changes |
| 253 | function handleToolsOptionChange(option) { |
| 254 | if (option === 'ui-events') { |
| 255 | // Handle UI Events (JSON Inspector) without page reload |
| 256 | if (window.jsonInspector) { |
| 257 | window.jsonInspector.toggle(); |
| 258 | } else { |
| 259 | console.warn('JSON Inspector not available yet'); |
| 260 | } |
| 261 | return; |
| 262 | } |
| 263 | } |
| 264 | |
| 265 | // Handle tools action changes |
| 266 | function handleToolsActionChange(action) { |