You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I can confirm this. But the docs.rs header is also broken without the extension if the width of the browser window is to small. If the window is small enough the text in the header disappears and it look normal again. This is probably also an issue with docs.rs but the extension exaggerates it.
I can confirm this. But the docs.rs header is also broken without the extension if the width of the browser window is to small. If the window is small enough the text in the header disappears and it look normal again. This is probably also an issue with docs.rs but the extension exaggerates it.
yes, you're right. Especially, docs.rs officially added a feature-flags menu in the header bar recently, the header bar gets more crowded. I'm not sure whether there is more menu that would be added in the future. Therefore, I have some incline to move the "Add to Rust Search Extension" button to the bottom of the Rust/crate logo.
Hello, v1.1.0 has been released! We have good compatibility with the official feature flags menu. So we remain the "Add to" button in the same position.
Activity
Lythenas commentedon Nov 26, 2020
I can confirm this. But the docs.rs header is also broken without the extension if the width of the browser window is to small. If the window is small enough the text in the header disappears and it look normal again. This is probably also an issue with docs.rs but the extension exaggerates it.
Folyd commentedon Nov 26, 2020
yes, you're right. Especially, docs.rs officially added a feature-flags menu in the header bar recently, the header bar gets more crowded. I'm not sure whether there is more menu that would be added in the future. Therefore, I have some incline to move the "Add to Rust Search Extension" button to the bottom of the Rust/crate logo.

Fix official feature flags menu compatibility #89
Folyd commentedon Jan 5, 2021
Hello, v1.1.0 has been released! We have good compatibility with the official feature flags menu. So we remain the "Add to" button in the same position.