Resolve "Change Toolbar labels & tooltips" (!122) · Merge requests · learninglab / epoc / epoc-editor · GitLab

Mentions légales du service

Snippets Groups Projects

A GitLab upgrade is scheduled for Monday, June 2, 2025. The service will be unavailable for a few minutes in the morning. We'll keep you posted on the progress of the upgrade on the Mattermost channel: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.

Project 'gazelle/external-library' was moved to 'gazelle/public/build/external-library'. Please update any links and bookmarks that may still have the old path.

Merged VIAUD Nathan requested to merge 332-change-toolbar-labels-tooltips into main 1 year ago

Closes #332 (closed)

Activity

VIAUD Nathan changed milestone to %v0.1.9 1 year ago

changed milestone to %v0.1.9
VIAUD Nathan added improvement label 1 year ago

added improvement label
VIAUD Nathan assigned to @nviaud 1 year ago

assigned to @nviaud
VIAUD Nathan added 1 commit 1 year ago
added 1 commit

c28a695c - improvement: Change toolbar labels & tooltips

Compare with previous version
VIAUD Nathan added 2 commits 1 year ago
added 2 commits

0526cdd9 - 1 commit from branch main

13580cac - improvement: Change toolbar labels & tooltips

Compare with previous version
VIAUD Nathan added 1 commit 1 year ago
added 1 commit

5e23e19b - fix

Compare with previous version
VIAUD Nathan marked this merge request as ready 1 year ago

marked this merge request as ready
VIAUD Nathan approved this merge request 1 year ago

approved this merge request
VIAUD Nathan merged 1 year ago

merged

Please register or sign in to reply