blob: 7366d8cde106283366dbd05a50aca84f9f80526c (
plain)
1
2
3
4
5
6
7
8
9
10
11
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.
|
