Vít Šesták

## Key conditions for triggering the bug Aside of a specific devicePixelRatio (and probably responsive: true), it seems that it also depends on the container height: 1. Fixed height is...

Another related issues, some of them might be closed as duplicates: * #11224 (includes [workaround](https://github.com/chartjs/Chart.js/issues/11224#issuecomment-1763400037)), * #11304 * #11089

My opinion: Maybe the header would be a more common and more useful place for the search bar. Should I start working on it?

I am a bit tempted to put the search phrase to URL. Maybe it would make invoking the search from other pages easier. Is there a fundamental reason it is...

With my knowledge of the code, the two-stage solution looks easier, or maybe at the same level.

Now, it somehow works (needs some polishing), but there is one weird UX thing – duplicated search input on the search page:  Even if they are synced, it looks...

I don't mean it was impossible to use solution A with optional searchbar, just not sure if it would result in a good UX. This scenario would look a bit...

## Progress: * Bidirectional sync * Buttons for showing and hidding search * Settings persistence ## Screenshots:    ## Missing: * Focus – the field should be autofocused...

Thinking about the mobile devices: ## Google Docs on Android: * no logo * denser and fewer buttons on the right side * When searching, it shows only close (arrow...

## Style I've adjusted the style: * Remove logo on small screens when headerbar search is enabled. * Some style adjustments (background, border) as you've suggested.   ### Drawbacks...