def new_get_dictionary(this, uri): title = File(uri).get_basename() if uri else _("Unnamed Document") if title.endswith('.py'): title = get_python_title(uri) return { "normal": title, "modified": "*" + title, "readonly": title + _(" [READONLY]"), "loading": _("Loading %s ...") % title, }