Skip to content
GitLab
Explore
Sign in
interactive-KB-debugging
webprotege_debugger
Issues
#15
Add tooltips to buttons
Support the user with tooltips for each button. The text should be shown can be discussed.