
Ce fichier contient des notes sur des bugs qui ne sont plus à traiter. Certains sont résolus, d'autres sont
  conservés pour des raisons diverses (pas de solution trouvée ou trop complexe, ...).

--------------------------------------------------------------------------------------------------------------


    Notes sur certains bugs résolus

- Sous Windows, les textes sur la carte ne sont pas affichés en gras ; les titres dans la page html non plus.
    ! Problème seulement sous Windows, avec des polices de taille 10 ou moins. Patrice a remplacé ça par
      une taille 11.

- Problème de la répartition de l'espace entre la carte et le navigateur
    ! On choisit une répartition 2/3 - 1/3 à l'origine, mais l'utilisateur peut la modifier. Or on
      a indiqué resizeWeight = 0.66 dans le constructeur, ce qui implique d'ajouter/enlever 2/3 de
      l'espace à gauche et 1/3 à droite quand la largeur totale du panneau est modifiée. En théorie quand
      l'utilisateur modifie la position du séparateur (=> choisit une autre répartition), il faudrait
      modifier ce paramètre.
        ! Problème : il n'y a apparemment pas d'événement permettant d'être informé de la modification
          de la position du séparateur.
            x La capture du redimensionnement du panneau ne fonctionne pas : ce n'est pas quand il est
              redimensionné mais quand le séparateur est déplacé qu'il faut mémoriser la nouvelle
              proportion.
            - PropertyListener est un écouteur de bas niveau, mais du coup il signale la modification d'un
              tas de valeurs et ne permet pas de savoir si le déplacement du séparateur est dû à son
              déplacement par l'utilisateur ou à un redimensionnement du composant.
                => Finalement ça ne marche pas si mal : quand le séparateur bouge pour une raison quelconque,
                   le poids relatif des panneaux est constaté et noté dans l'attribut adéquat du séparateur,
                   qui permet de maintenir les poids respectifs lors d'un redimensionnement futur. Si c'est
                   déjà à cause d'un redimensionnement de la fenêtre, ce n'est pas grave : le poids est
                   reconstaté et réinscrit dans l'attribut.
                   Il reste quand même la dérive du séparateur avec les redimensionnement mais elle est lente
                   et c'est visuel : à l'utilisateur de modifier ça si ça le gêne (on ne fait que suivre la
                   dérive qui existe dans le composant à la base).


    
    Notes sur certains bugs non résolus

* Sous Linux, un bug de la JVM 6 de Sun/Oracle empêche la maximisation de la fenêtre au lancement de l'appli.
    => Bah non : si on désactive la maximisation ça ne change rien.

* Sous Linux, la fenêtre est affichée, puis légèrement agrandie. En traçant la taille de la fenêtre dans son
  constructeur et lors de ses redimensionnements je n'ai pas compris pourquoi : la taille de la fenêtre ne
  semble pas être modifiée...
    ! Note : ce n'est pas lié à la tentative de maximisation ratée : si on désactive la maximisation le
      résultat est le même
    ! Je n'observe plus ce comportement.
