fun minimum_width=(val: Int) in "Java" `{ self.setMinimumWidth((int)val); `}