|Summary:||Navigation tree gets weird position when dragged out from system editor|
|Product:||UPPAAL||Reporter:||Marius Mikučionis <marius>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
Description Marius Mikučionis 2004-10-26 15:41:37 CEST
Just happened to press the "Drag out" button in system editor, which created a window with navigation tree somewhere at 0,10 from top left corner of the screen with width and height set to ~1px (hardly seen at all). marius
Comment 1 Gerd Behrmann 2004-12-02 10:51:51 CET
Confirmed. This has been a problem for a long time. I suspect that nobody actually uses the "drag" feature - maybe we should remove it altogether?
Comment 2 Gerd Behrmann 2005-02-04 16:49:47 CET
Fixed in 3.5.