Re: petit problème avec Frescobaldi

[Jean-Jacques Gerbaud]

Le 30/03/2020 à 10:55, Valentin Villenave a écrit :
> On 3/29/20, Jean-Jacques Gerbaud <address@hidden> wrote:
>> Et ben non. La case est cochée mais, à chaque départ de Fresco, bien que
>> la case soit cochée, le journal n'apparaît pas. Il faut que je le coche
>> à nouveau pour qu'enfin, le journal apparaisse à la compilation.
> 
> Une possibilité est que (c’est vite arrivé avec ces interfaces Qt5 où
> on peut tout bouger et tout réarranger à l’infini, ce qui tendrait à
> donner raison aux GTKistes qui traitent l’utilisateur comme un benêt
> et veillent à ne surtout lui laisser _aucun_ choix) vous ayez par
> inadvertance "désancré" (undocked) la zone console, et qu’elle
> s’affiche en fait dans une autre fenêtre, qui peut être toute petite
> dans un coin, voire rester à l’arrière-plan masquée par la fenêtre
> principale.
> 
> Ça m’est arrivé il y a quelques jours et (après m’être fracassé la
> tête contre un mur pendant quelques dizaines de minutes) j’ai fini par
> aller modifier le fichier ~/.config/frescobaldi/frescobaldi.conf (vous
> pouvez le faire avec vi ou gedit par exemple).
> 
> Dans ce fichier (si je comprends bien) tout ce qui concerne l’outil
> console est dans la rubrique [log]. Personnellement j’ai juste viré
> toutes ces lignes-là.
> 
> Maintenant vous pouvez aussi carrément virer ou déplacer ce fichier
> pour régénérer un frescobaldi.conf tout neuf, ce qui perdrait tous vos
> raccourcis et couleurs maison mais aurait peut-être l’avantage
> d’améliorer également votre problème d’affichage des PDF. À essayer ?
> 
> V.
> 

Désolé, Valentin, je viens de répondre à la liste en nommant Vincent
mais je me suis rendu compte, après coup, que tu m'avais aussi indiqué
la même piste que lui... ! Donc, je te dois aussi des remerciements, ce
que je fais ici même !

A bientôt

--

JJ