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

Add number of masked to MaskWorkspace data #5947

Closed
mareuter opened this issue Apr 13, 2012 · 1 comment
Closed

Add number of masked to MaskWorkspace data #5947

mareuter opened this issue Apr 13, 2012 · 1 comment
Assignees
@mareuter
Labels
Low Priority Things that you don't ever want to be done.
Milestone
Release 2.2

Comments

@mareuter
Copy link
Contributor

An entry should be added to the workspace data information in the ''Workspaces'' area for MaskWorkspaces. That entry should be the number of masked items in the workspace.
@mareuter mareuter added Low Priority Things that you don't ever want to be done. Mantid labels Jun 3, 2015
@mareuter mareuter self-assigned this Jun 3, 2015
@mareuter mareuter added this to the Release 2.2 milestone Jun 3, 2015
@mareuter
Copy link
Contributor Author

mareuter commented Jun 3, 2015

This issue was originally trac ticket 5101

@mareuter mareuter closed this as completed Jun 3, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mareuter mareuter

Labels
Low Priority Things that you don't ever want to be done.
Projects
None yet
Milestone
Release 2.2
Development

No branches or pull requests
1 participant
@mareuter