Feature #2279
Mis à jour par Serge Heiden il y a plus de 7 ans
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.
h3. Solution 1
Restore all preferences.
h3. Solution 2
Restore extensions aspects. Other restores.
h3. Solution 3
Restore all other configuration aspects.
* 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.
h3. Solution 1
Restore all preferences.
h3. Solution 2
Restore extensions aspects. Other restores.
h3. Solution 3
Restore all other configuration aspects.