diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-09-28 20:26:15 +0200 |
|---|---|---|
| committer | Rodrigo <rodarima@gmail.com> | 2025-09-28 23:10:55 +0200 |
| commit | fb510ea86be5ceb9e91573890242581fdbd77ad8 (patch) | |
| tree | d819fe40683592008d136727f5a0b03e48dc1164 /502 | |
Diffstat (limited to '502')
| -rw-r--r-- | 502/index.md | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/502/index.md b/502/index.md new file mode 100644 index 0000000..7366d8c --- /dev/null +++ b/502/index.md @@ -0,0 +1,12 @@ +Title: Implement deep reload +Author: Rodrigo Arias Mallo +Created: Sun, 28 Sep 2025 16:28:42 +0200 +State: open + +When reloading a file we sometimes want to reload all the embedded files +including images or linked CSS files. We can make it so that when pressing the +reload button with a modifier, the deep reload is done. By default we keep it as +it is now. + +The SIGUSR1 should also perform a deep reload, so changes in CSS are also +taken into account. |