You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/PURE_ZIG_REFACTOR.md
+13-6Lines changed: 13 additions & 6 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -297,7 +297,6 @@ implementations.
297
297
298
298
| Upstream API | Current gap |
299
299
|---|---|
300
-
|`webui_set_config(folder_monitor)`| Directory change monitoring and automatic browser reload are not implemented. |
301
300
|`webui_open_url()`| The internal OS URL opener is not exposed as a general public API. |
302
301
|`webui_get_best_browser()`, `webui_browser_exist()`, `webui_show_browser()`, `webui_set_browser_folder()`| Browser discovery, selection, and custom executable locations are not implemented. |
303
302
|`webui_set_custom_parameters()`| Custom browser command-line arguments are not implemented. |
@@ -332,6 +331,7 @@ not implementation gaps:
332
331
|`webui_show_client()`|`Client.show()` replaces the window content and navigates only the selected client. |
333
332
|`webui_is_shown()`|`Window.isShown()` reports whether the window has at least one connected browser client. |
334
333
|`webui_set_default_root_folder()`|`App.Options.default_directory` supplies directory content to windows created without explicit content. |
334
+
|`webui_set_config(folder_monitor)`|`App.Options.folder_monitor_interval` enables portable recursive directory polling and reloads the affected window's connected clients. |
335
335
|`webui_set_icon()`, `webui_set_icon_file()`|`Window.setIcon()` copies inline data and MIME type; `Window.setIconFile()` loads a supported image file as the window favicon. |
336
336
|`webui_wait()`, `webui_wait_async()`|`Running.wait()` used directly or through `std.Io` concurrency. |
337
337
|`webui_close()`, `webui_destroy()`, `webui_exit()`, `webui_clean()`|`Window.close()`, `Running.stop()`, and `App.deinit()`. |
@@ -409,15 +409,20 @@ the dynamic root and file-handler methods, `webui_set_default_root_folder()`,
409
409
This completes the browser selection, browser process, window control,
410
410
profile, and proxy methods in the ledger.
411
411
412
-
### File monitoring and server-side runtimes
412
+
### File monitoring (complete)
413
+
414
+
Portable recursive directory polling reloads only the clients of a changed
415
+
directory window and follows runtime content replacements.
416
+
417
+
This completes `webui_set_config(folder_monitor)`.
418
+
419
+
### Server-side runtimes
413
420
414
-
- Monitor directory content and reload connected clients on changes.
415
421
- Run served JavaScript and TypeScript through explicitly selected Deno,
416
422
Node.js, or Bun executables.
417
423
- Keep runtime execution disabled by default and pass commands as argv.
418
424
419
-
This completes `webui_set_config(folder_monitor)` and
0 commit comments