Oliver 31d4a88f90 [UI] Various fixes (#10038) ...

* Fix badge wrapping

* Move revision selector

- Simplify top header

* Remove "detail" attribute from <PageDetail>

* Implement "FORMS_CLOSE_USING_ESCAPE" option

* Implement "STICKY_HEADER" setting

* Remove unused setting

* Improved badge layout

* Sticky header fix

2025-07-18 11:36:04 +10:00

..

backend

[UI] Various fixes (#10038)

2025-07-18 11:36:04 +10:00

frontend

[UI] Various fixes (#10038)

2025-07-18 11:36:04 +10:00