summaryrefslogtreecommitdiff
path: root/altosuilib/AltosUIFrame.java
diff options
context:
space:
mode:
authorKeith Packard <keithp@keithp.com>2014-04-11 16:40:06 -0700
committerKeith Packard <keithp@keithp.com>2014-04-11 16:40:06 -0700
commit9e18c524fa2d1f648f265b3c3105f5ceacf06c10 (patch)
tree70eef3b41a40ca5401a45ae1894847a77409b203 /altosuilib/AltosUIFrame.java
parent7b275ddfe20f54857d7d1abb98607c406b678090 (diff)
altoslib/altosui/altosuilib/libaltos: Remove trailing whitespace
Just cleaning up the source code. Signed-off-by: Keith Packard <keithp@keithp.com>
Diffstat (limited to 'altosuilib/AltosUIFrame.java')
-rw-r--r--altosuilib/AltosUIFrame.java10
1 files changed, 5 insertions, 5 deletions
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);