class LilyDocBrowser(SettingsGroup):
def __init__(self, page):
super(LilyDocBrowser, self).__init__(i18n("LilyPond Documentation"), page)
layout = QVBoxLayout(self)
layout.setSpacing(0)
h = KHBox()
l = QLabel(i18n("Url:"), h)
self.lilydoc = KUrlRequester(h)
self.lilydoc.textChanged.connect(page.changed)
l.setBuddy(self.lilydoc)
tooltip = i18n("Url or path to the LilyPond documentation.")
l.setToolTip(tooltip)
self.lilydoc.setToolTip(tooltip)
self.lilydoc.fileDialog().setCaption(i18n("LilyPond Documentation"))
layout.addWidget(h)
self.lilydoc.setMode(KFile.Mode(KFile.File | KFile.Directory | KFile.ExistingOnly))
def defaults(self):
self.lilydoc.setUrl(KUrl())
def loadSettings(self):
self.lilydoc.setUrl(KUrl(config("preferences").readEntry("lilypond documentation", "")))
def saveSettings(self):
config("preferences").writeEntry("lilypond documentation", self.lilydoc.url().url())
def applySettings(self):
lilydoc = self.page.dialog.mainwin.tools.get("lilydoc")
if lilydoc:
lilydoc.newDocFinder()
class SavingDocument(CheckGroup):
configGroup = "preferences"
def __init__(self, page):
super(SavingDocument, self).__init__(i18n("When saving documents"), page)
layout = QVBoxLayout(self)
layout.setSpacing(0)
layout.addWidget(self.addCheckBox(i18n("Remember cursor position, bookmarks, etc."), "save metainfo", False))
# default directory
h = KHBox()
l = QLabel(i18n("Default directory:"), h)
self.folder = KUrlRequester(h)
l.setBuddy(self.folder)
tooltip = i18n("The default folder for your LilyPond documents (optional).")
l.setToolTip(tooltip)
self.folder.setToolTip(tooltip)
layout.addWidget(h)
self.folder.setMode(KFile.Mode(KFile.Directory | KFile.ExistingOnly | KFile.LocalOnly))
self.folder.button().setIcon(KIcon("document-open-folder"))
self.folder.textChanged.connect(page.changed)
def defaults(self):
super(SavingDocument, self).defaults()
def loadSettings(self):
super(SavingDocument, self).loadSettings()
self.folder.setPath(config("preferences").readPathEntry("default directory", ""))
def saveSettings(self):
super(SavingDocument, self).saveSettings()
config("preferences").writePathEntry("default directory", self.folder.url().path())
