Task #106

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

Added by Severine Gedzelman over 6 years ago.

Status:New Start date:04/02/2013
Priority:Normal Due date:04/02/2013
Assignee:Severine Gedzelman % Done:

100%

Category:-
Target version:- Estimated time:0.50 hour

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)

Also available in: Atom PDF