Dec. 10, 2013
7:56 a.m.
On Dec 10, 2013, at 8:11 AM, Stéphane Ducasse <stephane.ducasse@inria.fr> wrote:
On Dec 10, 2013, at 7:49 AM, Roberto Minelli <roberto.minelli@usi.ch> wrote:
Hi,
Is there any simple way to make a SpecWindow not resizable?
No idea but we should be able to specify that in the spec
+1 ;-)
Cheers, R