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
2023-02-17 11:33:47 -03:00
2023-02-17 11:33:47 -03:00
2023-02-17 11:33:47 -03:00
2023-02-17 11:33:47 -03:00
2023-02-17 11:33:47 -03:00
2023-02-17 11:33:47 -03:00
2023-02-17 11:33:47 -03:00
2023-02-17 11:33:47 -03:00
2023-02-17 11:33:47 -03:00
2023-02-17 11:33:47 -03:00
2023-02-17 11:33:47 -03:00
2023-02-17 11:33:47 -03:00
2023-02-17 11:33:47 -03:00
2023-02-17 11:33:47 -03:00

Plugin Name Plugin

Plugin Summary

For more information, please see: url to meta topic

Languages
Ruby 79.5%
JavaScript 17%
SCSS 2%
CSS 0.6%
HTML 0.5%
Other 0.4%