1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
# -*- coding: utf-8 -*-
#
# AWL simulator - GUI configuration widget
#
# Copyright 2014 Michael Buesch <m@bues.ch>
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License along
# with this program; if not, write to the Free Software Foundation, Inc.,
# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
#
from __future__ import division, absolute_import, print_function, unicode_literals
from awlsim.common.compat import *
from awlsim.gui.configdialog import *
from awlsim.gui.util import *
class GuiConfigWidget(QWidget):
def __init__(self, parent=None):
QWidget.__init__(self, parent)
self.setLayout(QGridLayout())
self.layout().setContentsMargins(QMargins())
self.editGroup = QGroupBox("Source code editor")
self.editGroup.setLayout(QVBoxLayout())
self.editAutoIndent = QCheckBox("&Auto indentation", self)
self.editGroup.layout().addWidget(self.editAutoIndent)
self.pasteIndent = QCheckBox("Clipboard &paste "
"auto indentation", self)
self.editGroup.layout().addWidget(self.pasteIndent)
self.editValidate = QCheckBox("Code &validation", self)
self.editGroup.layout().addWidget(self.editValidate)
hbox = QHBoxLayout()
self.editFontLabel = QLabel(self)
self.editFontLabel.setFrameShape(QFrame.Panel)
self.editFontLabel.setFrameShadow(QFrame.Sunken)
hbox.addWidget(self.editFontLabel)
self.editFontButton = QPushButton("&Select...", self)
hbox.addWidget(self.editFontButton)
self.__editFont = getDefaultFixedFont()
self.__updateEditFontLabel()
self.editGroup.layout().addLayout(hbox)
self.layout().addWidget(self.editGroup, 0, 0)
self.layout().setRowStretch(1, 1)
self.editFontButton.released.connect(self.__openEditFontDialog)
def __updateEditFontLabel(self):
self.editFontLabel.setText("Font: %s, %d pt" %\
(self.__editFont.family(),
self.__editFont.pointSize()))
self.editFontLabel.setFont(self.__editFont)
def __openEditFontDialog(self):
font, ok = QFontDialog.getFont(self.__editFont, self, "Editor font")
if ok:
self.__editFont = font
self.__updateEditFontLabel()
def loadFromProject(self, project):
guiSettings = project.getGuiSettings()
self.editAutoIndent.setCheckState(
Qt.Checked if guiSettings.getEditorAutoIndentEn() else\
Qt.Unchecked
)
self.pasteIndent.setCheckState(
Qt.Checked if guiSettings.getEditorPasteIndentEn() else\
Qt.Unchecked
)
self.editValidate.setCheckState(
Qt.Checked if guiSettings.getEditorValidationEn() else\
Qt.Unchecked
)
fontStr = guiSettings.getEditorFont()
if fontStr:
self.__editFont.fromString(fontStr)
self.__editFont.setStyleHint(QFont.Courier)
self.__updateEditFontLabel()
def storeToProject(self, project):
autoIndentEn = self.editAutoIndent.checkState() == Qt.Checked
pasteIndentEn = self.pasteIndent.checkState() == Qt.Checked
validationEn = self.editValidate.checkState() == Qt.Checked
guiSettings = project.getGuiSettings()
guiSettings.setEditorAutoIndentEn(autoIndentEn)
guiSettings.setEditorPasteIndentEn(pasteIndentEn)
guiSettings.setEditorValidationEn(validationEn)
guiSettings.setEditorFont(self.__editFont.toString())
return True
class GuiConfigDialog(AbstractConfigDialog):
def __init__(self, project, parent=None):
AbstractConfigDialog.__init__(self,
project = project,
iconName = "prefs",
title = "User interface setup",
centralWidget = GuiConfigWidget(),
parent = parent)
def loadFromProject(self):
self.centralWidget.loadFromProject(self.project)
def storeToProject(self):
if self.centralWidget.storeToProject(self.project):
self.settingsChanged.emit()
|
