X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=blobdiff_plain;f=altosuilib%2FAltosUIFrame.java;fp=altosuilib%2FAltosUIFrame.java;h=3dc2a0ad3f43e8d8110e0605b89d825589e227ad;hp=3fc99910d8c6f016d4770311146cf923dc7345b0;hb=9e18c524fa2d1f648f265b3c3105f5ceacf06c10;hpb=7b275ddfe20f54857d7d1abb98607c406b678090

diff --git a/altosuilib/AltosUIFrame.java b/altosuilib/AltosUIFrame.java
index 3fc99910..3dc2a0ad 100644
--- a/altosuilib/AltosUIFrame.java
+++ b/altosuilib/AltosUIFrame.java
@@ -45,7 +45,7 @@ public class AltosUIFrame extends JFrame implements AltosUIListener, AltosPositi
 	};
 
 	static public String[] icon_names;
-	
+
 	static public void set_icon_names(String[] new_icon_names) { icon_names = new_icon_names; }
 
 	public String[] icon_names() {
@@ -57,7 +57,7 @@ public class AltosUIFrame extends JFrame implements AltosUIListener, AltosPositi
 	public void set_icon() {
 		ArrayList<Image> icons = new ArrayList<Image>();
 		String[] icon_names = icon_names();
-		
+
 		for (int i = 0; i < icon_names.length; i++) {
 			java.net.URL imgURL = AltosUIFrame.class.getResource(icon_names[i]);
 			if (imgURL != null)
@@ -65,14 +65,14 @@ public class AltosUIFrame extends JFrame implements AltosUIListener, AltosPositi
 		}
 		setIconImages(icons);
 	}
-			
+
 	private boolean location_by_platform = true;
 
 	public void setLocationByPlatform(boolean lbp) {
 		location_by_platform = lbp;
 		super.setLocationByPlatform(lbp);
 	}
-		
+
 	public void setSize() {
 		/* Smash sizes around so that the window comes up in the right shape */
 		Insets i = getInsets();
@@ -153,7 +153,7 @@ public class AltosUIFrame extends JFrame implements AltosUIListener, AltosPositi
 				setPosition(position);
 		}
 	}
-		
+
 	void init() {
 		AltosUIPreferences.register_ui_listener(this);
 		AltosUIPreferences.register_position_listener(this);