8 """ |
8 """ |
9 |
9 |
10 from __future__ import unicode_literals |
10 from __future__ import unicode_literals |
11 |
11 |
12 from PyQt5.QtCore import pyqtSlot |
12 from PyQt5.QtCore import pyqtSlot |
|
13 from PyQt5.QtWidgets import QFontDialog |
13 |
14 |
14 from .ConfigurationPageBase import ConfigurationPageBase |
15 from .ConfigurationPageBase import ConfigurationPageBase |
15 from .Ui_TemplatesPage import Ui_TemplatesPage |
16 from .Ui_TemplatesPage import Ui_TemplatesPage |
16 |
17 |
17 import Preferences |
18 import Preferences |
65 def on_editorFontButton_clicked(self): |
66 def on_editorFontButton_clicked(self): |
66 """ |
67 """ |
67 Private method used to select the font to be used by the code editor. |
68 Private method used to select the font to be used by the code editor. |
68 """ |
69 """ |
69 self.editorFont = self.selectFont( |
70 self.editorFont = self.selectFont( |
70 self.editorFontSample, self.editorFont) |
71 self.editorFontSample, self.editorFont, |
|
72 options=QFontDialog.MonospacedFonts) |
71 |
73 |
72 |
74 |
73 def create(dlg): |
75 def create(dlg): |
74 """ |
76 """ |
75 Module function to create the configuration page. |
77 Module function to create the configuration page. |