Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improvements to workspace groups and dock #8099

Closed
mantid-roman opened this issue Jun 6, 2013 · 1 comment
Closed

Improvements to workspace groups and dock #8099

mantid-roman opened this issue Jun 6, 2013 · 1 comment
Assignees
@mantid-roman
Labels
Framework Issues and pull requests related to components in the Framework High Priority An issue or pull request that if not addressed is severe enough to postponse a release.
Milestone
Release 2.6

Comments

@mantid-roman
Copy link
Contributor

These changes should simplify the use of workspace groups:

  • Groups work only with pointers, not names
  • Groups don't remove workspaces from the ADS
  • ADS should return its tree view for the dock to display
@mantid-roman
Copy link
Contributor Author

This issue was originally trac ticket 7253

@mantid-roman mantid-roman added High Priority An issue or pull request that if not addressed is severe enough to postponse a release. Framework Issues and pull requests related to components in the Framework labels Jun 3, 2015
@mantid-roman mantid-roman self-assigned this Jun 3, 2015
@mantid-roman mantid-roman added this to the Release 2.6 milestone Jun 3, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mantid-roman mantid-roman

Labels
Framework Issues and pull requests related to components in the Framework High Priority An issue or pull request that if not addressed is severe enough to postponse a release.
Projects
None yet
Milestone
Release 2.6
Development

No branches or pull requests
1 participant
@mantid-roman