This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 108

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>
Status:	RESOLVED FIXED
Severity:	minor
Priority:	P2
Version:	3.4.7
Hardware:	PC
OS:	Linux
Architecture:

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.