mirror of
https://github.com/servo/servo
synced 2026-05-11 17:37:21 +02:00
The patch adds the following functionality to the per-WebView `UserContentManager` API. - Removing a `UserScript` at that was previously added. - Adding a new `UserStyleSheet` representing a user-origin style sheet. allow removing user script - Removing a previously added `UserStyleSheet`. There might be scope for some improvements in the API: - `UserScript` and `UserStyleSheet` have different ways of representing the source location - a `PathBuf` and `Url` respectively. This is due to how those values are used by the underlying evaluation APIs in script and stylo. More investigation is needed here and could be addressed in future patches. Testing: New unit tests are added for the user stylesheet APIs. Existing tests have been updated to test the removal of user scripts.