# File control/EditProperties/EditProperties.rb, line 42 def document_position=(new_pos) if (! (empty_string? new_pos)) then @doc_pos = new_pos.to_i else @doc_pos = 0 end init_mount_params new_pos end