Use the Menlo font if possible, also switch to 10pt

diff --git a/Source/BSLineNumberRulerView.mm b/Source/BSLineNumberRulerView.mm
index d4b102ac09b92de0dc4cde3fd8cc6bafb45c3162..33c5f5ce4aa5718d07e92e168fe2e90d2dd39632 100644 (file)
--- a/Source/BSLineNumberRulerView.mm
+++ b/Source/BSLineNumberRulerView.mm
@@ -233,8 +233,11 @@ const CGFloat kRulerRightPadding = 2.5;
  */
 - (NSDictionary*)fontAttributes
 {
+  NSFont* font = [NSFont fontWithName:@"Menlo" size:10.0];
+  if (!font)
+    font = [NSFont fontWithName:@"Monaco" size:10.0];
   return [NSDictionary dictionaryWithObjectsAndKeys:
-      [NSFont fontWithName:@"Monaco" size:9.0], NSFontAttributeName,
+      font, NSFontAttributeName,
       [NSColor grayColor], NSForegroundColorAttributeName,
       nil
   ];