Skip to content
GitLab
Explore
Sign in
New widgets for plugins and SurveyPad
Code
Review changes
Check out branch
Download
Patches
Plain diff
Remi Ducceschi
requested to merge
newWidgets
into
master
Mar 13, 2019
Overview
0
Commits
6
Pipelines
6
Changes
14
Expand
create MDI manager
update resources (add icons for text editors)
create log vizualizer --> will be done later
Edited
Mar 15, 2019
by
Remi Ducceschi
Merge request reports