Closed JannisKleinrensing closed 1 year ago
The upper edges of the boxes of the settings in all AgentPreferences groups should be rounded.
The upper edges of the boxes of the settings in all AgentPreferences groups are pointy.
Steps to reproduce the behavior:
internal Issue: 575
Resolved by Commit: 808969ad08ee29408f0ad2514687c3bcd98f90ac
Environment
Expected behaviour
The upper edges of the boxes of the settings in all AgentPreferences groups should be rounded.
Actual behaviour
The upper edges of the boxes of the settings in all AgentPreferences groups are pointy.
How to reproduce
Steps to reproduce the behavior:
Screenshots