Ticket #2431 (closed: fixed)

Opened 10 years ago

Last modified 5 years ago

Ability to modify usersearch.properties from GUI

Reported by: Martyn Gigg Owned by: Michael Whitty
Priority: minor Milestone: Iteration 28
Component: Mantid Keywords:
Cc: Blocked By:
Blocking: Tester: Janik Zikovsky

Description

Mantid has the usersearch.directories key now, see #1024, however this cannot be set from the GUI.

The manage data directories GUI needs to be able to handle this also

Change History

comment:1 Changed 9 years ago by Nick Draper

  • Priority changed from major to minor
  • Status changed from new to assigned
  • Owner set to Michael Whitty

comment:2 Changed 9 years ago by Michael Whitty

  • Status changed from assigned to accepted

comment:3 Changed 9 years ago by Michael Whitty

(In [10737]) refs #2431 - add tab to ManageUserDirectories dialog for users to control the "usersearch.directories" property.

comment:4 Changed 9 years ago by Michael Whitty

  • Status changed from accepted to verify
  • Resolution set to fixed

comment:5 Changed 9 years ago by Janik Zikovsky

  • Status changed from verify to verifying
  • Tester set to Janik Zikovsky

comment:6 Changed 9 years ago by Janik Zikovsky

  • Status changed from verifying to closed

It all looks to be working fine.

comment:7 Changed 5 years ago by Stuart Campbell

This ticket has been transferred to github issue ​3278

Note: See TracTickets for help on using tickets.