Skip to content
Snippets Groups Projects

Add ability to zoom and move workspace by dragging it

Merged Add ability to zoom and move workspace by dragging it
78-zooming-in-gui-workspace into develop
Merged Felix Goding requested to merge 78-zooming-in-gui-workspace into develop

Can also click and drag in the workspace to move around in it. Closes #78 (closed)

Merge request reports

Pipeline #14419 passed

Stage: test

Pipeline passed for c343b860 on 78-zooming-in-gui-workspace

Approval is optional

Merged by Felix GodingFelix Goding 4 years ago (Apr 29, 2020 8:14am UTC)

Merge details

  • Changes merged into master with d8c4f923.
  • Deleted the source branch.

Pipeline #14421 passed

Stage: test

Pipeline passed for d8c4f923 on develop

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply