2 Commits

Author	SHA1	Message	Date
Jarek Radosz	6b8a57d957	DEV: Update linting (#423) ... Co-authored-by: Keegan George <kgeorge13@gmail.com>	2024-01-13 00:28:06 +01:00
Sam	deb34bb52f	UX: improve drop down menu for enabled bots (#68) ... Previously we were not using using HeaderPanel for drop down, which caused it not to properly act like a header panel. - Not styled right - Not hidden when other buttons clicked Etc... Header is sadly full of legacy so this is somewhat hacky weaving widgets.	2023-05-18 16:10:08 +10:00