# File control/EditProperties/EditProperties.rb, line 205 def arg_integer=(new_int) @argument[:value] = new_int end