##// END OF EJS Templates
use Monospace as default font on Linux
MinRK -
Show More
@@ -93,7 +93,7 class ConsoleWidget(Configurable, QtGui.QWidget):
93 help="""The font family to use for the console.
93 help="""The font family to use for the console.
94 On OSX this defaults to Monaco, on Windows the default is
94 On OSX this defaults to Monaco, on Windows the default is
95 Consolas with fallback of Courier, and on other platforms
95 Consolas with fallback of Courier, and on other platforms
96 the default is Inconsolata with fallback of Monospace
96 the default is Monospace.
97 """)
97 """)
98 def _font_family_default(self):
98 def _font_family_default(self):
99 if sys.platform == 'win32':
99 if sys.platform == 'win32':
@@ -103,8 +103,8 class ConsoleWidget(Configurable, QtGui.QWidget):
103 # OSX always has Monaco, no need for a fallback
103 # OSX always has Monaco, no need for a fallback
104 return 'Monaco'
104 return 'Monaco'
105 else:
105 else:
106 # A popular free mono font, will fallback to Monospace
106 # Monospace should always exist, no need for a fallback
107 return 'Anonymous Pro'
107 return 'Monospace'
108
108
109 font_size = Int(config=True,
109 font_size = Int(config=True,
110 help="""The font size. If unconfigured, Qt will be entrusted
110 help="""The font size. If unconfigured, Qt will be entrusted
@@ -624,8 +624,7 class ConsoleWidget(Configurable, QtGui.QWidget):
624 # OSX always has Monaco
624 # OSX always has Monaco
625 fallback = 'Monaco'
625 fallback = 'Monaco'
626 else:
626 else:
627 # FIXME: remove Consolas as a default on Linux once our font
627 # Monospace should always exist
628 # selections are configurable by the user.
629 fallback = 'Monospace'
628 fallback = 'Monospace'
630 font = get_font(self.font_family, fallback)
629 font = get_font(self.font_family, fallback)
631 if self.font_size:
630 if self.font_size:
General Comments 0
You need to be logged in to leave comments. Login now