Now that the Greasemonkey version is deprecated, we can get rid of a lot of code, and cleanup and reorganise what remains.
The gm directory should be the first to go, naturally. But once that is gone, we no longer need the chrome.js stuff segregated in its own file; in fact a good chunk of that is probably disposable right away. Most importantly: investigate the possibility of no longer keeping stuff on the top frame to reuse across nav's. We can now use the background page for this purpose.
None of this is urgent really, but adding this issue so I remember that it's pending and get around to it as time permits.
valitas
commented
1 month ago
Now that the Greasemonkey version is deprecated, we can get rid of a lot of code, and cleanup and reorganise what remains.
The
gmdirectory should be the first to go, naturally. But once that is gone, we no longer need thechrome.jsstuff segregated in its own file; in fact a good chunk of that is probably disposable right away. Most importantly: investigate the possibility of no longer keeping stuff on the top frame to reuse across nav's. We can now use the background page for this purpose.None of this is urgent really, but adding this issue so I remember that it's pending and get around to it as time permits.