Novità e Aggiornamenti

Versione 1.7.0 - 05/07/2019

[Nuove funzionalità]

• Risultati di ricerca personalizzabili - Ogni utente può scegliere da un elenco quali risultati di ricerca visualizzare ed in quale ordine.
• Inclusione documenti taggati - Ogni utente può scegliere se la ricerca debba includere per default i documenti taggati o meno.

[Altri aggiornamenti]

• Aggiornata la pagina "Profilo utente" per permettere la gestione delle nuove funzionalità
• Ottimizzazione della ricerca.
• Fix dei bugs segnalati.