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):
""" 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)
def setUrl(self, url):
old = super(EditorDocument, self).setUrl(url)
if url != old:
self.urlChanged(url, old)
app.documentUrlChanged(self, url, old)