def setUrl(self, url): """ Change the url for this document. """ changed = self._url != url self._url = url or QUrl() # number for nameless documents if self._url.isEmpty(): nums = [0] nums.extend(doc._num for doc in app.documents if doc is not self) self._num = max(nums) + 1 else: self._num = 0 if changed: self.urlChanged() app.documentUrlChanged(self)
def setUrl(self, url): """ Change the url for this document. """ if url is None: url = QUrl() old, self._url = self._url, url changed = old != url # number for nameless documents if self._url.isEmpty(): nums = [0] nums.extend(doc._num for doc in app.documents if doc is not self) self._num = max(nums) + 1 else: self._num = 0 if changed: self.urlChanged(url, old) app.documentUrlChanged(self, url, old)
def setUrl(self, url): old = super(EditorDocument, self).setUrl(url) if url != old: self.urlChanged(url, old) app.documentUrlChanged(self, url, old)