Changed fonts to look better on linux

Author: borisf

ClassySharkWS/src/com/google/classyshark/gui/panel/displayarea/DisplayArea.java

@@ -164,20 +164,20 @@ public void displaySearchResults(List<String> filteredClassNames,
                                      List<Translator.ELEMENT> displayedManifestSearchResultsTokens,
                                      String textFromTypingArea) {
         displayDataState = DisplayDataState.CLASSES_LIST;
-        StyleConstants.setFontSize(style, 18);
+        StyleConstants.setFontSize(style, 20);
         StyleConstants.setForeground(style, theme.getIdentifiersColor());
 
         clearText();
 
         Document doc = new DefaultStyledDocument();
         jTextPane.setDocument(doc);
 
-        StyleConstants.setFontSize(style, 18);
+        StyleConstants.setFontSize(style, 20);
         StyleConstants.setBackground(style, theme.getBackgroundColor());
 
         fillTokensToDoc(displayedManifestSearchResultsTokens, doc, true);
 
-        StyleConstants.setFontSize(style, 18);
+        StyleConstants.setFontSize(style, 20);
         StyleConstants.setForeground(style, theme.getIdentifiersColor());
         StyleConstants.setBackground(style, theme.getBackgroundColor());
 
@@ -206,7 +206,7 @@ public void displaySearchResults(List<String> filteredClassNames,
     public void displayClassNames(List<String> classNamesToShow,
                                   String inputText) {
 
-        StyleConstants.setFontSize(style, 18);
+        StyleConstants.setFontSize(style, 20);
         StyleConstants.setForeground(style, theme.getIdentifiersColor());
         StyleConstants.setBackground(style, theme.getBackgroundColor());
 
@@ -260,7 +260,7 @@ private void displayAllClassesNames(List<String> classNames) {
         long start = System.currentTimeMillis();
 
         displayDataState = DisplayDataState.CLASSES_LIST;
-        StyleConstants.setFontSize(style, 18);
+        StyleConstants.setFontSize(style, 20);
         StyleConstants.setForeground(style, theme.getIdentifiersColor());
 
         clearText();
@@ -298,7 +298,7 @@ public void displayClass(String classString) {
         }
 
         clearText();
-        StyleConstants.setFontSize(style, 18);
+        StyleConstants.setFontSize(style, 20);
 
         Document doc = new DefaultStyledDocument();
 
@@ -319,7 +319,7 @@ public void displayClass(String classString) {
     public void displayClass(List<Translator.ELEMENT> elements, String key) {
         displayDataState = DisplayDataState.INSIDE_CLASS;
         clearText();
-        StyleConstants.setFontSize(style, 18);
+        StyleConstants.setFontSize(style,  20);
         StyleConstants.setBackground(style, theme.getBackgroundColor());
 
         Document doc = new DefaultStyledDocument();
@@ -426,8 +426,8 @@ public void displaySharkey() {
 
         try {
             StyleConstants.setForeground(style, theme.getIdentifiersColor());
-            StyleConstants.setFontSize(style, 13);
-            StyleConstants.setFontFamily(style, "Menlo");
+            StyleConstants.setFontSize(style, 15);
+            StyleConstants.setFontFamily(style, "Monospaced");
 
             doc.insertString(doc.getLength(), Doodle.get(), style);
         } catch (BadLocationException e) {
@@ -447,8 +447,8 @@ public void displayError() {
 
         try {
             StyleConstants.setForeground(style, theme.getDefaultColor());
-            StyleConstants.setFontSize(style, 13);
-            StyleConstants.setFontFamily(style, "Menlo");
+            StyleConstants.setFontSize(style, 15);
+            StyleConstants.setFontFamily(style, "Monospaced");
 
             doc.insertString(doc.getLength(), "\n\n\n\t\t\t There was a problem loading the class  ", style);
             doc.insertString(doc.getLength(), Doodle.get(), style);

ClassySharkWS/src/com/google/classyshark/gui/panel/methodscount/MethodsCountPanel.java

@@ -72,7 +72,7 @@ private void setup() {
 
         DefaultTreeCellRenderer cellRenderer = (DefaultTreeCellRenderer) jTree.getCellRenderer();
 
-        cellRenderer.setFont(new Font("Menlo", Font.PLAIN, 18));
+        cellRenderer.setFont(new Font("Monospaced", Font.PLAIN, 20));
         jTree.setCellRenderer(cellRenderer);
         jTree.addTreeSelectionListener(new TreeSelectionListener() {
             @Override

ClassySharkWS/src/com/google/classyshark/gui/panel/tree/FilesTree.java

@@ -208,7 +208,7 @@ public Component getJTree() {
     private void configureJTree(final JTree jTree) {
         jTree.setRootVisible(false);
         DefaultTreeCellRenderer cellRenderer = (DefaultTreeCellRenderer) jTree.getCellRenderer();
-        cellRenderer.setFont(new Font("Menlo", Font.PLAIN, 18));
+        cellRenderer.setFont(new Font("Monospaced", Font.PLAIN, 20));
         jTree.getSelectionModel().setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION);
         jTree.addTreeSelectionListener(new TreeSelectionListener() {
             @Override