Bug #2497

The "user home directory" is not managed anymore

Added by Sebastien Jacquot 8 months ago. Updated 6 months ago.

Status:New Start date:02/01/2019
Priority:Normal Due date:
Assignee:- % Done:

0%

Category:Preferences Spent time: -
Target version:TXM X.X

Description

Since the RCP workspace directory is now set at launching time (.bat, .sh) with the "data" argument (to TXMHOME/corpora), the user txm home directory preference is not managed anymore, but still visible in the advanced preference page.

QUESTIONS:
- is it possible to dynamically set the workspace ("data" launcher argument) at TXM starting from a preference rather than setting it through the launcher?
- then, is it possible to dynamically switch the workspace?
- need some tests with the new setup functionnality of external or networked TXMHOME directory

SOLUTIONS:
a) remove this preference
b.1) if possible, get the path from the preference node and dynamically set it at Toolbox initialization (TBX layer to be compatible with TXM GWT)
b.2) when this preference change, move all the content of directory to the new path. See the "Switch Workspace" method of Eclipse

History

#1 Updated by Sebastien Jacquot 8 months ago

  • Description updated (diff)

#2 Updated by Matthieu Decorde 6 months ago

  • Target version changed from TXM 0.8.0 to TXM X.X

Also available in: Atom PDF