Bug #1943

RCP: X.X, change "user.home" management

Added by Matthieu Decorde almost 7 years ago. Updated over 4 years ago.

Status:New Start date:11/25/2016
Priority:Normal Due date:
Assignee:- % Done:


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



Parfois System.getProperty(“user.home”) est faux (ex : certaines configurations de salle de cours).


- Faire Toolbox.getUserHome() : retourne le répertoire parent de TXMHOME si il existe.
- Remplacer System.getProperty(“user.home”) par Toolbox.getUserHome().


#1 Updated by Sebastien Jacquot over 5 years ago

  • Target version changed from TXM 0.8.0a (split/restructuration) to TXM 0.8.0

#2 Updated by Matthieu Decorde over 4 years ago

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

Also available in: Atom PDF