Task #106

Bloquer la barre verticale (séparant TreePane de CenterTextPane)

Ajouté par Severine Gedzelman il y a plus de 12 ans.

Statut:New Début:02/04/2013
Priorité:Normal Echéance:02/04/2013
Assigné à:Severine Gedzelman % réalisé:

100%
Catégorie:-
Version cible:- Temps estimé:0.50 heure

Description

Problème qu'elle est bloquée quand on demande à voir les graphes par auteur dans le cas où le lemme (des équivalences) regroupe une grande série de termes, le DesktopPane devient alors trop large et empêche le TreePane de se déplacer)

Formats disponibles : Atom PDF