X-Git-Url: https://git.dogcows.com/gitweb?a=blobdiff_plain;f=src%2Fcom%2Fdogcows%2FVimCoder.java;h=b47de71bcd17ee2afe2a539818ecc536cde2e946;hb=5d17e009eff7a333349813221e7a0a1b2087d8d4;hp=658bae13051ddc080a266bd9610cec8bf721929e;hpb=28c8fae03b2294d6486233cd62f4d4d9d11603ca;p=chaz%2Fvimcoder

diff --git a/src/com/dogcows/VimCoder.java b/src/com/dogcows/VimCoder.java
index 658bae1..b47de71 100644
--- a/src/com/dogcows/VimCoder.java
+++ b/src/com/dogcows/VimCoder.java
@@ -4,7 +4,6 @@ package com.dogcows;
 import java.awt.*;
 import java.awt.event.ActionEvent;
 import java.awt.event.ActionListener;
-import java.beans.PropertyChangeListener;
 import java.io.*;
 import java.text.SimpleDateFormat;
 import java.util.*;
@@ -28,23 +27,23 @@ public class VimCoder
 	/**
 	 * The name and version of this plugin.
 	 */
-	public final static String	version = "VimCoder 0.3";
+	public final static String version = "VimCoder 0.3.1";
 
 	/**
 	 * The website of the plugin project.
 	 */
-	public final static String	website = "http://www.dogcows.com/vimcoder";
+	public final static String website = "http://www.dogcows.com/vimcoder";
 
 
 	/**
 	 * The first part of the command used to invoke the Vim server.
 	 */
-	private static String		vimCommand = "gvim";
+	private static String vimCommand = "gvim";
 
 	/**
 	 * The path to the main VimCoder directory.
 	 */
-	private static File			rootDir;
+	private static File rootDir;
 	static
 	{
 		if (System.getProperty("os.name").toLowerCase().equals("win"))
@@ -52,29 +51,29 @@ public class VimCoder
 			vimCommand = "C:\\WINDOWS\\gvim.bat";
 		}
 		rootDir = new File(System.getProperty("user.home") +
-						   System.getProperty("file.separator") + ".vimcoder");
+				   System.getProperty("file.separator") + ".vimcoder");
 	}
 
 
 	/**
 	 * The panel given to the Arena applet when it is requested.
 	 */
-	private JPanel		panel;
+	private JPanel panel;
 
 	/**
 	 * The text widget where log messages are appended.
 	 */
-	private JTextArea	logArea;
+	private JTextArea logArea;
 
 	/**
 	 * The current editor object (or null if there is none).
 	 */
-	private Editor		editor;
+	private Editor editor;
 
 	/**
 	 * The configuration panel.
 	 */
-	private JDialog		configDialog;
+	private JDialog configDialog;
 
 
 	/**
@@ -187,8 +186,7 @@ public class VimCoder
 		}
 		catch (Exception exception)
 		{
-			logError("Failed to get source code: " +
-					 exception.getLocalizedMessage());
+			logError("Failed to get source code: " + exception.getLocalizedMessage());
 			throw exception;
 		}
 	}
@@ -207,7 +205,7 @@ public class VimCoder
 		catch (Exception exception)
 		{
 			logError("Failed to save the source given by the server: " +
-					 exception.getLocalizedMessage());
+				 exception.getLocalizedMessage());
 			return;
 		}
 	}
@@ -221,8 +219,7 @@ public class VimCoder
 	 * statement.
 	 */
 	public void setProblemComponent(ProblemComponentModel component,
-									Language language,
-									Renderer renderer)
+					Language language, Renderer renderer)
 	{
 		try
 		{
@@ -231,7 +228,7 @@ public class VimCoder
 		catch (Exception exception)
 		{
 			logError("An error occured while loading the problem: " +
-					 exception.getLocalizedMessage());
+				 exception.getLocalizedMessage());
 		}
 	}