Hello joseph,
L'export PDF fonctionne-t-il?
Oui mais il nécessite une connexion internet (car c'est vraiment quelque chose qu'on est pas censé lancer tous les jours). Tu l'as essayé en mode connecté ?
faut-il forcément redémarrer l'application pour qu'il prennent en compte le changement du dossier de travail des préférences dans le menu fichier->ouvrir?
Normalement bug, je vais vérifier, mais je crois que c'est un bug à noter et facile corriger
la vérification des mises à jour est une tâche bloquante pour l'appli (rien n'est possible tant qu'elle n'a pas fini de tourner).
Ah effectivement. Je note ça aussi à corriger.
les numéros de lignes pourrais-ils être placés au "début de la ligne", et non au milieu de la hauteur que celle-ci prends dans l'éditeur?
Je vais regarder ça aussi.
pourra-t-on un jour ajouter une image sur zds depuis l'application?
Je l'ai déjà, mais oui, on pourra, mais dans une version v1.x. Encore une peu de patiente.
Merci pour ton retour