Skip to content
GitLab
Explore
Sign in
Show the active ArmarX workspace in title of ArmarX Gui
Code
Review changes
Check out branch
Download
Patches
Plain diff
Rainer Kartmann
requested to merge
show-armarx-workspace-in-gs
into
master
Oct 25, 2023
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
Before:
After:
This now
shows the activate ArmarX workspace (useful when working in multiple workspaces) and
structurally matches the information in a command line prompt
Merge request reports
Loading