#Nouvelles fonctionnalités

• Recherche floue dans les noms de fichiers

#Corrections de bugs

• Correction de problèmes avec le terminal

• Les barres de défilement fonctionnent désormais

• Autres corrections (dont beaucoup issues de PR 🙂)