def prune():
"""Prune old info."""
s = app.settings('metainfo')
month_ago = time.time() - 31 * 24 * 3600
for key in s.childGroups():
if s.value(key + "/time", 0.0, float) < month_ago:
s.remove(key)
def prune():
"""Prune old info."""
s = app.settings('metainfo')
month_ago = time.time() - 31 * 24 * 3600
for key in s.childGroups():
if s.value(key + "/time", 0.0, float) < month_ago:
s.remove(key)
def deleteSession(name):
session = app.settings("sessions")
for group in session.childGroups():
if session.value(group + "/name", "", str) == name:
session.remove(group)
break
if name == _currentSession:
setCurrentSession(None)
def deleteSession(name):
session = app.settings("sessions")
for group in session.childGroups():
if session.value(group + "/name", "", str) == name:
session.remove(group)
break
if name == _currentSession:
setCurrentSession(None)
def sessionNames():
session = app.settings("sessions")
names = [
session.value(group + "/name", "", str)
for group in session.childGroups()
]
names.sort(key=util.naturalsort)
return names
def sessionGroup(name):
"""Returns the session settings group where settings can be stored for the named session.
If the group doesn't exist, it is created.
"""
session = app.settings("sessions")
childGroups = session.childGroups()
for group in childGroups:
if session.value(group + "/name", "", str) == name:
break
else:
for count in itertools.count(1):
group = "session{0}".format(count)
if group not in childGroups:
session.setValue(group + "/name", name)
break
session.beginGroup(group)
return session
def sessionGroup(name):
"""Returns the session settings group where settings can be stored for the named session.
If the group doesn't exist, it is created.
"""
session = app.settings("sessions")
childGroups = session.childGroups()
for group in childGroups:
if session.value(group + "/name", "", str) == name:
break
else:
for count in itertools.count(1):
group = "session{0}".format(count)
if group not in childGroups:
session.setValue(group + "/name", name)
break
session.beginGroup(group)
return session
def settingsGroup(self):
url = self.document().url()
if not url.isEmpty():
s = app.settings('metainfo')
s.beginGroup(url.toString().replace('\\', '_').replace('/', '_'))
return s
def sessionNames():
session = app.settings("sessions")
names = [session.value(group + "/name", "", str) for group in session.childGroups()]
names.sort(key=util.naturalsort)
return names
def settings():
return app.settings("snippets")
def settings():
return app.settings("snippets")
def settingsGroup(self):
url = self.document().url()
if not url.isEmpty():
s = app.settings('metainfo')
s.beginGroup(url.toString().replace('\\', '_').replace('/', '_'))
return s
def saveTabIndex(self):
s = app.settings("")
s.setValue("prefs_general_file_tab_index", self.tabs.currentIndex())
