::
Grazie!
In effetti, come supponevo, è il file WinEdt.ini che “raccoglie” anche le preferenze delle voci di menu create dall’utente.
In Windows 10, il percorso è: C:\Users\[tuo nome utente]\AppData\Local\VirtualStore\Program Files\WinEdt Team\WinEdt.
Un ringraziamento a strolego, che ha insistito nel farmi ravanare lì dove non avrei mai immaginato di arrivare, e un “in bocca al lupo!” a tutti gli utilizzatori di WinEdt sotto Win10.
Buon lavoro! Ciao!
