Preferences/ConfigurationPages/ShellPage.py

changeset 4676
c65b401b775e
parent 4674
41f716db325e
child 5389
9b1c800daff3
--- a/Preferences/ConfigurationPages/ShellPage.py	Sun Jan 17 13:05:52 2016 +0100
+++ b/Preferences/ConfigurationPages/ShellPage.py	Sun Jan 17 13:40:24 2016 +0100
@@ -17,6 +17,11 @@
 
 import Preferences
 
+try:
+    MonospacedFontsOption = QFontDialog.MonospacedFonts
+except AttributeError:
+    MonospacedFontsOption = QFontDialog.FontDialogOptions(0x10)
+
 
 class ShellPage(ConfigurationPageBase, Ui_ShellPage):
     """
@@ -93,7 +98,7 @@
         """
         self.monospacedFont = self.selectFont(
             self.monospacedFontSample, self.monospacedFont,
-            options=QFontDialog.MonospacedFonts)
+            options=MonospacedFontsOption)
         
     @pyqtSlot()
     def on_linenumbersFontButton_clicked(self):
@@ -102,7 +107,7 @@
         """
         self.marginsFont = self.selectFont(
             self.marginsFontSample, self.marginsFont,
-            options=QFontDialog.MonospacedFonts)
+            options=MonospacedFontsOption)
         
     def polishPage(self):
         """

eric ide

mercurial