def __init__(self, settingGroup, parent=None):
QtGui.QWidget.__init__(self, parent)
SettingsTreeNode.__init__(self, "editor", settingGroup)
self.setupUi(self)
self.checkBoxLineNumbers.toggled.connect(self.on_gutterOption_toggled)
self.checkBoxFolding.toggled.connect(self.on_gutterOption_toggled)
self.checkBoxBookmarks.toggled.connect(self.on_gutterOption_toggled)
def __init__(self, settingGroup, parent = None):
QtGui.QWidget.__init__(self, parent)
SettingsTreeNode.__init__(self, "editor", settingGroup)
self.setupUi(self)
self.checkBoxLineNumbers.toggled.connect(self.on_gutterOption_toggled)
self.checkBoxFolding.toggled.connect(self.on_gutterOption_toggled)
self.checkBoxBookmarks.toggled.connect(self.on_gutterOption_toggled)
def __init__(self, settingGroup, parent = None):
QtGui.QWidget.__init__(self, parent)
SettingsTreeNode.__init__(self, "terminal", settingGroup)
self.setupUi(self)
try:
from QTermWidget import QTermWidget
except ImportError:
return
t = QTermWidget()
self.comboScrollBar.addItem(_("No scrollbar"), t.NoScrollBar)
self.comboScrollBar.addItem(_("Left scrollbar"), t.ScrollBarLeft)
self.comboScrollBar.addItem(_("Right scrollbar"), t.ScrollBarRight)
for name in t.availableColorSchemes():
self.comboColorScheme.addItem(name, name)
del t
def __init__(self, settingGroup, parent=None):
QtGui.QWidget.__init__(self, parent)
SettingsTreeNode.__init__(self, "terminal", settingGroup)
self.setupUi(self)
try:
from QTermWidget import QTermWidget
except ImportError:
return
t = QTermWidget()
self.comboScrollBar.addItem(_("No scrollbar"), t.NoScrollBar)
self.comboScrollBar.addItem(_("Left scrollbar"), t.ScrollBarLeft)
self.comboScrollBar.addItem(_("Right scrollbar"), t.ScrollBarRight)
for name in t.availableColorSchemes():
self.comboColorScheme.addItem(name, name)
del t
def __init__(self, settingGroup, parent=None):
QtGui.QWidget.__init__(self, parent)
SettingsTreeNode.__init__(self, "files", settingGroup)
self.setupUi(self)
self.loadEncodings()
self.setupLineEndings()
def __init__(self, settingGroup, parent = None):
QtGui.QWidget.__init__(self, parent)
SettingsTreeNode.__init__(self, "general", settingGroup)
self.setupUi(self)
def __init__(self, settingGroup, parent=None):
QtGui.QWidget.__init__(self, parent)
SettingsTreeNode.__init__(self, "project", settingGroup)
def __init__(self, settingGroup, parent=None):
QtGui.QWidget.__init__(self, parent)
SettingsTreeNode.__init__(self, "addons", settingGroup)
self.setupUi(self)
def __init__(self, settingGroup, parent = None):
QtGui.QWidget.__init__(self, parent)
SettingsTreeNode.__init__(self, "theme", settingGroup)
self.setupUi(self)
self.setupTableView()
self.setupPushButton()
def __init__(self, settingGroup, parent=None):
QtGui.QWidget.__init__(self, parent)
SettingsTreeNode.__init__(self, "environment", settingGroup)
self.setupUi(self)
self.setupVariablesTableModel()
def filterString(self):
return "proxyportnetwork" + SettingsTreeNode.filterString(self)
def filterString(self):
return "proxyportnetwork" + SettingsTreeNode.filterString(self)
def __init__(self, settingGroup, parent=None):
QtGui.QWidget.__init__(self, parent)
SettingsTreeNode.__init__(self, "files", settingGroup)
self.setupUi(self)
self.loadEncodings()
self.setupLineEndings()
def __init__(self, settingGroup, parent=None):
QtGui.QWidget.__init__(self, parent)
SettingsTreeNode.__init__(self, "theme", settingGroup)
self.setupUi(self)
self.setupTableView()
self.setupPushButton()
def __init__(self, settingGroup, parent = None):
QtGui.QWidget.__init__(self, parent)
SettingsTreeNode.__init__(self, "environment", settingGroup)
self.setupUi(self)
self.setupVariablesTableModel()
