bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Use folder icon instead of hamburger and sidebar

Browse source
This commit is contained in:
Michael Howell 2023-12-18 18:22:35 -07:00
parent 66779ff606
commit 34984a6830
2 changed files with 32 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

9
tests/rustdoc-gui/source-code-page.goml
View file

@ -152,7 +152,8 @@ store-property: (".src-sidebar-title", {
})
call-function: ("check-sidebar-dir-entry", {
"x": 0,
"y": |source_sidebar_title_y| + |source_sidebar_title_height|,
// margin = 7px
"y": |source_sidebar_title_y| + |source_sidebar_title_height| + 7,
})
// Check the search form
@ -180,7 +181,8 @@ store-property: (".src-sidebar-title", {
})
call-function: ("check-sidebar-dir-entry", {
"x": 0,
"y": |source_sidebar_title_y| + |source_sidebar_title_height|,
// margin = 7px
"y": |source_sidebar_title_y| + |source_sidebar_title_height| + 7,
})
// Tiny, phone mobile gets a different display where the logo is stacked on top.
@ -194,5 +196,6 @@ store-property: (".src-sidebar-title", {
})
call-function: ("check-sidebar-dir-entry", {
"x": 0,
"y": |source_sidebar_title_y| + |source_sidebar_title_height|,
// margin = 7px
"y": |source_sidebar_title_y| + |source_sidebar_title_height| + 7,
})