def setRange(newSelection): if newSelection.getDocument() == m_document: SelectionImpl.setJSRange(m_selection, newSelection.getJSRange())