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.QtGui import QColor, QPalette |
13 from PyQt5.QtGui import QColor, QPalette |
14 from PyQt5.QtWidgets import QColorDialog |
14 from PyQt5.QtWidgets import QColorDialog, QFontDialog |
15 from PyQt5.Qsci import QsciScintilla |
15 from PyQt5.Qsci import QsciScintilla |
16 |
16 |
17 from .ConfigurationPageBase import ConfigurationPageBase |
17 from .ConfigurationPageBase import ConfigurationPageBase |
18 from .Ui_EditorStylesPage import Ui_EditorStylesPage |
18 from .Ui_EditorStylesPage import Ui_EditorStylesPage |
19 |
19 |
345 def on_linenumbersFontButton_clicked(self): |
345 def on_linenumbersFontButton_clicked(self): |
346 """ |
346 """ |
347 Private method used to select the font for the editor margins. |
347 Private method used to select the font for the editor margins. |
348 """ |
348 """ |
349 self.marginsFont = self.selectFont( |
349 self.marginsFont = self.selectFont( |
350 self.marginsFontSample, self.marginsFont) |
350 self.marginsFontSample, self.marginsFont, |
|
351 options=QFontDialog.MonospacedFonts) |
351 |
352 |
352 @pyqtSlot() |
353 @pyqtSlot() |
353 def on_defaultFontButton_clicked(self): |
354 def on_defaultFontButton_clicked(self): |
354 """ |
355 """ |
355 Private method used to select the default font for the editor. |
356 Private method used to select the default font for the editor. |
362 """ |
363 """ |
363 Private method used to select the font to be used as the monospaced |
364 Private method used to select the font to be used as the monospaced |
364 font. |
365 font. |
365 """ |
366 """ |
366 self.monospacedFont = self.selectFont( |
367 self.monospacedFont = self.selectFont( |
367 self.monospacedFontSample, self.monospacedFont) |
368 self.monospacedFontSample, self.monospacedFont, |
|
369 options=QFontDialog.MonospacedFonts) |
368 |
370 |
369 def polishPage(self): |
371 def polishPage(self): |
370 """ |
372 """ |
371 Public slot to perform some polishing actions. |
373 Public slot to perform some polishing actions. |
372 """ |
374 """ |