Skip to content

Feature/frontend permissions#76

Merged
XanderVertegaal merged 5 commits into
developfrom
feature/frontend-permissions
Mar 2, 2026
Merged

Feature/frontend permissions#76
XanderVertegaal merged 5 commits into
developfrom
feature/frontend-permissions

Conversation

@XanderVertegaal
Copy link
Copy Markdown
Contributor

@XanderVertegaal XanderVertegaal commented Feb 27, 2026

This PR makes sure that the frontend allows users to do what they are allowed to, according to the roles and permissions in the permission matrix (see README.md in #75).

  • User has two new computed properties: can_copy_problem and can_add_label_annotations to govern button visibility in the frontend.
  • LabelAnnotation management relies on add_labelannotation only, and the change_labelannotation permission is removed. There is no difference between the two, so this felt simpler, but let me know if you disagree or think I should rename add_labelannotation instead.
  • The text you see when hovering over a label used to be computed in very similar ways in two places. This has been outfactored to a single function. Also, this text would show you the ID of the annotator rather than their name. This has been fixed.

@XanderVertegaal XanderVertegaal added this to the Annotation starts milestone Feb 27, 2026
@XanderVertegaal XanderVertegaal added bug Something isn't working enhancement New feature or request labels Feb 27, 2026
@XanderVertegaal XanderVertegaal marked this pull request as ready for review February 27, 2026 11:31
Copy link
Copy Markdown
Contributor

@jgonggrijp jgonggrijp left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me!

Base automatically changed from fix/backend-permission-update to develop March 2, 2026 15:26
@XanderVertegaal XanderVertegaal merged commit 6d03adb into develop Mar 2, 2026
1 check passed
@XanderVertegaal XanderVertegaal deleted the feature/frontend-permissions branch March 2, 2026 15:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants