Set the smaller font for Buttons and Labels as default on Linux/Unix systems and make MainWindow a bit smaller again

Author: Stefan Hahmann

src/main/java/org/mastodon/mamut/MainWindow.java

@@ -111,7 +111,7 @@ public MainWindow( final ProjectModel appModel )
 
 		// Main Panel
 		final JPanel buttonsPanel = new JPanel();
-		buttonsPanel.setLayout( new MigLayout( "wrap 2", "[190px!]10[190px!]" ) );
+		buttonsPanel.setLayout( new MigLayout( "wrap 2", "[170px!]10[170px!]" ) );
 
 		// Project:
 		final JPanel titlePanel = new JPanel();

src/main/java/org/mastodon/mamut/launcher/MastodonLauncher.java

@@ -28,6 +28,7 @@
  */
 package org.mastodon.mamut.launcher;
 
+import java.awt.Font;
 import java.awt.datatransfer.DataFlavor;
 import java.awt.dnd.DnDConstants;
 import java.awt.dnd.DropTarget;
@@ -47,6 +48,7 @@
 import javax.swing.JFrame;
 import javax.swing.JLabel;
 import javax.swing.JOptionPane;
+import javax.swing.UIManager;
 
 import org.jdom2.JDOMException;
 import org.mastodon.app.MastodonIcons;
@@ -94,6 +96,7 @@ public class MastodonLauncher extends JFrame
 	public MastodonLauncher( final Context context )
 	{
 		super( "Mastodon launcher" );
+		setFont();
 		this.context = Optional.ofNullable( context ).orElse( new Context() );
 
 		System.setProperty( "apple.laf.useScreenMenuBar", "true" );
@@ -123,6 +126,27 @@ public MastodonLauncher( final Context context )
 		setDropTarget( new LauncherDropTarget() );
 	}
 
+	private static void setFont()
+	{
+		// Determine the OS and set the font
+		String os = System.getProperty( "os.name" ).toLowerCase();
+
+		if ( os.contains( "nix" ) || os.contains( "nux" ) )
+		{
+			Font defaultFont = new Font( "Arial", Font.PLAIN, 12 );
+			// Set the font for UI components
+			UIManager.put( "Label.font", defaultFont );
+			UIManager.put( "Button.font", defaultFont );
+			UIManager.put( "TextField.font", defaultFont );
+			UIManager.put( "TextArea.font", defaultFont );
+			UIManager.put( "ComboBox.font", defaultFont );
+			UIManager.put( "List.font", defaultFont );
+			UIManager.put( "Table.font", defaultFont );
+			UIManager.put( "Menu.font", defaultFont );
+			UIManager.put( "MenuItem.font", defaultFont );
+		}
+	}
+
 	private void importSimi()
 	{
 		gui.clearLog();