search

klee-contrib / vertigo-chroma-kspplugin

Plugin Eclipse pour améliorer l'expérience de développement Vertigo.
Apache License 2.0
6 stars 3 forks source link

Visualisation de l'historique d'un fichier ksp #5

Closed skerdudou closed 6 years ago

skerdudou commented 6 years ago

Lors du double-click sur une ancienne version du fichier ksp dans la vue "History"

image

sebez commented 6 years ago

Lorsque on ouvre une ancienne version du fichier KSP, ce n'est pas le contexte standard d'éditeur qui est utilisé. A priori il ne permet pas de fournir un "objet fichier" permettant de gérer la outline etc.

Correction : si le contexte d'édition n'est pas standard, on ne gère l'éditeur KSP.