HiDPI: fix console font size under darcula

platform/editor-ui-api/src/com/intellij/openapi/options/FontSize.java

@@ -1,5 +1,5 @@
 /*
- * Copyright 2000-2013 JetBrains s.r.o.
+ * Copyright 2000-2015 JetBrains s.r.o.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -15,6 +15,7 @@
  */
 package com.intellij.openapi.options;
 
+import com.intellij.util.ui.JBUI;
 import org.jetbrains.annotations.NotNull;
 
 import javax.swing.*;
@@ -40,7 +41,7 @@ public enum FontSize {
   }
 
   public int getSize() {
-    return mySize;
+    return JBUI.scale(mySize);
   }
 
   /**