Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 22:15:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

style: Remove dead GTK menu styling code

Browse source 
Differential Revision: https://phabricator.services.mozilla.com/D177369
This commit is contained in:
Emilio Cobos Álvarez 2023-05-11 08:57:11 +00:00 • committed by Martin Robinson
parent 9370172552
commit 4b7260d846
2 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

3
components/style/custom_properties.rs
View file

@ -124,13 +124,12 @@ macro_rules! lnf_int_variable {
}};
}
static CHROME_ENVIRONMENT_VARIABLES: [EnvironmentVariable; 7] = [
static CHROME_ENVIRONMENT_VARIABLES: [EnvironmentVariable; 6] = [
lnf_int_variable!(
atom!("-moz-gtk-csd-titlebar-radius"),
TitlebarRadius,
int_pixels
),
lnf_int_variable!(atom!("-moz-gtk-csd-menu-radius"), GtkMenuRadius, int_pixels),
lnf_int_variable!(
atom!("-moz-gtk-csd-close-button-position"),
GTKCSDCloseButtonPosition,