MantisBT - Gnome Inform application
View Issue Details
0000144Gnome Inform application[IDEs] User Interfacepublic2010-06-29 21:292010-07-06 03:19
pchimento 
pchimento 
normalcosmeticalways
closedfixed 
x86LinuxAny
6E59 
6E72 
0000144: Main window can't be resized smaller than a certain size
The main Inform 7 story window can't be resized smaller than a certain size, typically about 1000x650. The exact size depends on the desktop font.
n.a.
No tags attached.
Issue History
2010-06-29 21:29pchimentoNew Issue
2010-06-29 21:29pchimentoStatusnew => assigned
2010-06-29 21:29pchimentoAssigned To => pchimento
2010-06-30 12:07pchimentoNote Added: 0000192
2010-06-30 12:07pchimentoStatusassigned => resolved
2010-06-30 12:07pchimentoResolutionopen => fixed
2010-06-30 22:51pchimentoFixed in Version => 6E72
2010-07-01 23:57jmcgrewProduct Version => 6E59
2010-07-01 23:57jmcgrewFixed in Version => 6E72
2010-07-06 03:19jmcgrewStatusresolved => closed

Notes
(0000192)
pchimento   
2010-06-30 12:07   
The minimum size is now 200x100 which should be small enough for any application.