import java.io.FileReader;
import java.io.FileWriter;
import java.io.IOException;
-import java.net.URL;
+//import java.net.URL;
import javax.swing.JEditorPane;
import javax.swing.JPanel;
public void showSourceLine(String filePath, int lineNumber, boolean highlight) {
//AjdeUIManager.getDefault().getIdeUIAdapter().resetEditor();
- String oldPath = this.filePath;
this.filePath = filePath;
// if (oldPath != filePath && !Ajde.INSTANCE.BROWSER_MANAGER.isGlobalMode()) {
// Ajde.INSTANCE.BROWSER_MANAGER.updateView();
private String readFile(String filePath, int lineNumber) {
try {
- URL url = ClassLoader.getSystemResource(filePath);
+// URL url = ClassLoader.getSystemResource(filePath);
File file = new File(filePath);
if (!file.exists()) {
return "ERROR: file \"" + filePath + "\" does not exist.";
BufferedReader reader = new BufferedReader(new FileReader(file));
StringBuffer contents = new StringBuffer();
String line = reader.readLine();
- int numChars = 0;
int numLines = 0;
while (line != null) {
numLines++;
import org.aspectj.ajde.ui.internal.UserPreferencesStore;
import org.aspectj.ajde.ui.swing.*;
import org.aspectj.asm.*;
-import org.aspectj.asm.internal.*;
+//import org.aspectj.asm.internal.*;
/**
* IDE manager for standalone AJDE application.
public void compileStarted(String buildConfigFile) { }
public void compileFinished(String buildConfigFile, int buildTime, boolean succeeded, boolean warnings) {
- int timeInSeconds = buildTime/1000;
if (succeeded && !warnings) {
hideMessages();
} else {
private JMenuItem jMenuItem1 = new JMenuItem();
private JMenuItem exit_menuItem = new JMenuItem();
private JSplitPane top_splitPane = new JSplitPane();
- private BorderLayout borderLayout2 = new BorderLayout();
- private BorderLayout borderLayout1 = new BorderLayout();
+// private BorderLayout borderLayout2 = new BorderLayout();
+// private BorderLayout borderLayout1 = new BorderLayout();
private BorderLayout borderLayout3 = new BorderLayout();
private JMenuItem projectRun_menuItem = new JMenuItem();
private JMenuItem projectRunOther_menuItem = new JMenuItem();