Skip to content
GitLab
Explore
Sign in
Add ability to zoom and move workspace by dragging it
Code
Review changes
Check out branch
Download
Patches
Plain diff
Felix Goding
requested to merge
78-zooming-in-gui-workspace
into
develop
Apr 29, 2020
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
Can also click and drag in the workspace to move around in it. Closes
#78 (closed)
Merge request reports