Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix FE issues #37

Merged
merged 15 commits into from
May 17, 2024
Merged

Fix FE issues #37

merged 15 commits into from
May 17, 2024

Conversation

ivicic-petr
Copy link
Collaborator

@ivicic-petr ivicic-petr commented May 16, 2024

  • added toolbar to datasets allows add observation, rename and remove dataset
  • added id field to all property types
  • fix property values reset on refresh
  • added arity indicator to collapsed functions
  • fixed broken observations table after refresh in another tab

@daemontus daemontus merged commit 789cd45 into main May 17, 2024
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants