Preferences/ConfigurationPages/EditorStylesPage.py

changeset 4674
41f716db325e
parent 4631
5c1a96925da4
child 4676
c65b401b775e
equal deleted inserted replaced
4673:6fa2418f010c 4674:41f716db325e
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 """

eric ide

mercurial