Feature #2279
RCP: X.X, restore TXM configuration at setup
Statut: | New | Début: | 09/11/2017 | |
---|---|---|---|---|
Priorité: | Normal | Echéance: | ||
Assigné à: | - | % réalisé: | 0% |
|
Catégorie: | Setup | Temps passé: | - | |
Version cible: | TXM 0.X.X |
Description
Currently a TXM configuration is defined by:
- Preferences
- TXM / Advanced : TreeTagger
- TXM / Advanced : all others
- TXM / User
- Run configuration (see ticket launch builder script)
- memory size
- language
- others
- Extensions
- TXMHOME
- Corpus : OK
- Macros : OK
- etc.
Only TreeTagger, corpora and macros aspects of the TXM configuration is restored after new setup.
All other configuration aspects, representing user local settings, should be restored also.
Solution 1¶
Restore all preferences.
Solution 2¶
Restore extensions aspects.
Solution 3¶
Restore all other configuration aspects.
Historique
#1 Mis à jour par Serge Heiden il y a plus de 7 ans
- Description mis à jour (diff)
#2 Mis à jour par Sebastien Jacquot il y a presque 7 ans
- Version cible changé de TXM 0.8.0a (split/restructuration) à TXM 0.8.0
#3 Mis à jour par Matthieu Decorde il y a plus de 6 ans
- Version cible changé de TXM 0.8.0 à TXM 0.X.X