Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Rename ports/winit package to servoshell (#30163)

Browse source 
* rename winit package to servoshell

* revert previous changes and rename only package
This commit is contained in:
Atbrakhi 2023-08-28 16:36:57 +02:00 • committed by GitHub
parent cc4fe4981f
commit 66567faeb2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
26 changed files with 39 additions and 39 deletions
Download patch file Download diff file Expand all files Collapse all files

6
python/tidy/tidy.py
View file

@ -528,9 +528,9 @@ def check_rust(file_name, lines):
PANIC_NOT_ALLOWED_PATHS = [
os.path.join("*", "components", "compositing", "compositor.rs"),
os.path.join("*", "components", "constellation", "*"),
os.path.join("*", "ports", "winit", "headed_window.rs"),
os.path.join("*", "ports", "winit", "headless_window.rs"),
os.path.join("*", "ports", "winit", "embedder.rs"),
os.path.join("*", "ports", "servoshell", "headed_window.rs"),
os.path.join("*", "ports", "servoshell", "headless_window.rs"),
os.path.join("*", "ports", "servoshell", "embedder.rs"),
os.path.join("*", "rust_tidy.rs"), # This is for the tests.
]
is_panic_not_allowed_rs_file = any([