9 Settembre 2010 alle 0:15
#49555
::
Ho provato, provvisoriamente, a lasciare settare la cartella in cui è contenuto il comando texdoc all’utente.
Purtroppo questa è la soluizione migliore, anche se non è stata con meno grattacapi delle altre possibili, che per ora mi viene in mente.
Al primo avvio dell’applicazione viene mostrata una finestrella nella quale va inserita la cartella in cui si trova il comando texdoc.
Le preferenze vengono per ora salvate insieme alla cronologia in una cartella nascosta nella home dell’utente.
Spero che questa soluzione possa aiutare parte di coloro che non riuscivano ad utilizzare il programma precedentemente.
Tommaso.