Camille adds seen contexts and refines machines instead of overwriting

hhu-stups / camille

(READ ONLY MIRROR) The Camille Editor for Rodin

https://gitlab.cs.uni-duesseldorf.de/general/stups/camille

1 stars 1 forks source link

Camille adds seen contexts and refines machines instead of overwriting #16

Closed wysiib closed 9 years ago

wysiib commented 9 years ago

Hallo,

hier ist ein Minimal-Beispiel für den Bug. Ändert man in der Maschine mac den gesehenen Context von Ctx1 auf Ctx2 tritt der Fehler auf: bildschirmfoto 2015-02-17 um 12 10 26

Im Struktur-Editor sieht man dann das Problem. Statt Ctx1 durch Ctx2 zu ersetzen hat Camille Ctx2 einfach hinzugefügt beim Speichern.