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.minelli@usi.ch> wrote:


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