# File metasm/gui/gtk.rb, line 539 def height; size[1] ; end
# File metasm/gui/gtk.rb, line 540 def height=(nh); resize(size[0], nh); end
# File metasm/gui/gtk.rb, line 537 def width; size[0] ; end
# File metasm/gui/gtk.rb, line 538 def width=(nw); resize(nw, size[1]); end
# File metasm/gui/gtk.rb, line 533 def x; position[0]; end
# File metasm/gui/gtk.rb, line 534 def x=(nx); move(nx, position[1]); end
# File metasm/gui/gtk.rb, line 535 def y; position[1]; end
# File metasm/gui/gtk.rb, line 536 def y=(ny); move(position[0], ny); end