Hi everybody,we're trying to change the topMenuColor in Gerrit (2.16.13) through settings in gerrit.config (targeting the old GUI). When applying the examples shown in the built-in examples, a lot of colors change but not the toplevel menu.Questions:
- Is there a way to control the "old GUI" through PolyUI?
- Is there a known bug in 2.16.13 that makes that settings to topMenuColor have no effect?
Could someone guiding us?