3 commits

Author	SHA1	Message	Date
Oliver Smith	4cc9e5f07a	userChrome/tabmenu: fix width for long titles (MR 19)	2021-12-05 11:45:41 +01:00
Oliver Smith	e7571365c1	userChrome/tabmenu: fix tiny height/jumping around (MR 19) ... Apply a similar hack to the "all tabs" menu, as the appMenu has, so it gets a proper height and doesn't jump above or below the "all tabs" button, depending on the keyboard being displayed or not. With this hack, it stays consistently above the button.	2021-12-05 11:45:41 +01:00
Oliver Smith	5f5cc3c09a	userChrome/tabmenu: always show "all tabs" button (MR 19) ... Thanks to Peter Mack (linmob) for the idea and initial implementation.	2021-12-05 11:45:41 +01:00