Rework Style API - [merged]

[rainman110]

In GitLab by @mariusalexander on Jul 12, 2024, 10:52

Merges rework-style-api -> main

implemented style registry that can be used to register custom styles or switch more easily between styles

[rainman110]

In GitLab by @mariusalexander on Jul 12, 2024, 15:52

added 1 commit

• b6b4e343 - reworked style api, painting methods now access the current style directly

Compare with previous version

[rainman110]

In GitLab by @mariusalexander on Jul 15, 2024, 07:21

added 1 commit

• 8a253afe - fixed minor issues in style and in initialization order

Compare with previous version

[rainman110]

In GitLab by @mariusalexander on Jul 15, 2024, 08:26

added 1 commit

• 66b03d96 - cleanup

Compare with previous version

[rainman110]

In GitLab by @mariusalexander on Jul 15, 2024, 08:28

marked this merge request as ready

[rainman110]

In GitLab by @mariusalexander on Jul 15, 2024, 08:40

mentioned in commit c81455c415889a6848f401ccec992186b50ece41