There is on DialogWindow, but on regular Window, I do not know :) I will have a look :P (but only if you review the proposal first ^^)
Ben On 10 Dec 2013, at 08:56, Roberto Minelli <roberto.mine...@usi.ch> wrote: > > On Dec 10, 2013, at 8:11 AM, Stéphane Ducasse <stephane.duca...@inria.fr> > wrote: > >> >> On Dec 10, 2013, at 7:49 AM, Roberto Minelli <roberto.mine...@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 >>> >> >> > >