Bug #447

"Instantiations" text field is hidden

Added by Axel Belinfante over 9 years ago. Updated over 9 years ago.

Status:NewStart date:07 Dec 2010
Priority:NormalDue date:
Assignee:-% Done:


Target version:-


The default window size of JTorX (on my Linux machine) is in a way that it
exactly fully hides the "Instantiations" text field (see attached screenshot).
One has to increase the screen size to make it visible. This might easily lead

(reported by Lars)

JTorX.png (58.7 KB) Axel Belinfante, 07 Dec 2010 17:38


#1 Updated by Axel Belinfante over 9 years ago

Actually, that it is only partly visible was by 'design'; that it breaks off so nicely at the start of the text field is coincidence.

If I always make it fully visible the entire window gets (much) wider...

need to find a better solution.

Also available in: Atom PDF