# 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