def resize(self, width, height):
PApplet.resize(self,width,height)
# TODO figure out how to handle resize in context of Swing signals etc
self.w = width
self.h = height
if self.view is not None:
self.view.resize(self.w, self.h, False)
