finally building sort of

This commit is contained in:
benfry
2007-07-16 05:09:50 +00:00
parent 9c8f660261
commit e59e3e00a9
4 changed files with 6958 additions and 6 deletions
+6 -1
View File
@@ -1,6 +1,11 @@
<?xml version="1.0" encoding="UTF-8"?> <?xml version="1.0" encoding="UTF-8"?>
<classpath> <classpath>
<classpathentry excluding="processing/app/tools/format/src/|processing/app/tools/format/" kind="src" path="app/src"/> <classpathentry excluding="processing/app/tools/format/|processing/app/tools/format/src/" kind="src" path="app/src"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/> <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry combineaccessrules="false" kind="src" path="/core"/>
<classpathentry kind="lib" path="build/shared/lib/antlr.jar"/>
<classpathentry kind="lib" path="build/shared/lib/oro.jar"/>
<classpathentry kind="lib" path="build/shared/lib/registry.jar"/>
<classpathentry kind="lib" path="build/shared/lib/mrj.jar"/>
<classpathentry kind="output" path="app/bin"/> <classpathentry kind="output" path="app/bin"/>
</classpath> </classpath>
File diff suppressed because it is too large Load Diff
File diff suppressed because it is too large Load Diff
+5 -5
View File
@@ -1026,7 +1026,7 @@ public class Editor extends JFrame {
/** /**
* Show the About box. * Show the About box.
*/ */
static public void handleAbout() { public void handleAbout() {
final Image image = Base.getImage("about.jpg", this); final Image image = Base.getImage("about.jpg", this);
final Window window = new Window(this) { final Window window = new Window(this) {
public void paint(Graphics g) { public void paint(Graphics g) {
@@ -1046,18 +1046,18 @@ public class Editor extends JFrame {
window.dispose(); window.dispose();
} }
}); });
int w = image.getWidth(window); int w = image.getWidth(this);
int h = image.getHeight(window); int h = image.getHeight(this);
Dimension screen = Toolkit.getDefaultToolkit().getScreenSize(); Dimension screen = Toolkit.getDefaultToolkit().getScreenSize();
window.setBounds((screen.width-w)/2, (screen.height-h)/2, w, h); window.setBounds((screen.width-w)/2, (screen.height-h)/2, w, h);
window.show(); window.setVisible(true);
} }
/** /**
* Show the preferences window. * Show the preferences window.
*/ */
static public void handlePrefs() { public void handlePrefs() {
Preferences preferences = new Preferences(); Preferences preferences = new Preferences();
preferences.showFrame(this); preferences.showFrame(this);