diff options
Diffstat (limited to 'dev-lang/tuprolog/files/tuprolog-2.0-java1.4.patch')
| -rw-r--r-- | dev-lang/tuprolog/files/tuprolog-2.0-java1.4.patch | 164 |
1 files changed, 0 insertions, 164 deletions
diff --git a/dev-lang/tuprolog/files/tuprolog-2.0-java1.4.patch b/dev-lang/tuprolog/files/tuprolog-2.0-java1.4.patch deleted file mode 100644 index 8bfb717e89bd..000000000000 --- a/dev-lang/tuprolog/files/tuprolog-2.0-java1.4.patch +++ /dev/null @@ -1,164 +0,0 @@ -diff -ur src.orig/alice/tuprologx/ide/AWTFrameLauncher.java src/alice/tuprologx/ide/AWTFrameLauncher.java ---- src.orig/alice/tuprologx/ide/AWTFrameLauncher.java 2006-10-30 12:45:16.000000000 +1300 -+++ src/alice/tuprologx/ide/AWTFrameLauncher.java 2007-01-22 09:53:52.000000000 +1300 -@@ -88,7 +88,7 @@ - height = Math.min(height, screenSize.height);
- setBounds((screenSize.width - width) / 2, (screenSize.height - height) / 2, width, height);
- }
-- show();
-+ setVisible(true);
- }
-
- public void update(Graphics g) {
-diff -ur src.orig/alice/tuprologx/ide/Applet.java src/alice/tuprologx/ide/Applet.java ---- src.orig/alice/tuprologx/ide/Applet.java 2006-10-30 12:45:16.000000000 +1300 -+++ src/alice/tuprologx/ide/Applet.java 2007-01-22 09:53:52.000000000 +1300 -@@ -41,7 +41,7 @@ - ide.removeWindowListener(listeners[i]);
-
- ide.pack();
-- ide.show();
-+ ide.setVisible(true);
- }
-
- } // end Applet class -\ No newline at end of file -diff -ur src.orig/alice/tuprologx/ide/DotNetIOManager.java src/alice/tuprologx/ide/DotNetIOManager.java ---- src.orig/alice/tuprologx/ide/DotNetIOManager.java 2006-10-30 12:45:16.000000000 +1300 -+++ src/alice/tuprologx/ide/DotNetIOManager.java 2007-01-22 09:53:52.000000000 +1300 -@@ -46,7 +46,7 @@ - FileDialog dialog = new FileDialog(parent, "Load Theory", FileDialog.LOAD);
- dialog.setDirectory(currentLoadDirectory);
- dialog.setFile("*.pro");
-- dialog.show();
-+ dialog.setVisible(true);
- String directory = dialog.getDirectory();
- currentLoadDirectory = directory;
- String fileName = dialog.getFile();
-@@ -61,7 +61,7 @@ - public String saveTheoryAs(String theory) throws Exception {
- FileDialog dialog = new FileDialog(parent, "Save Theory As...", FileDialog.SAVE);
- dialog.setDirectory(currentSaveDirectory);
-- dialog.show();
-+ dialog.setVisible(true);
- String directory = dialog.getDirectory();
- currentSaveDirectory = directory;
- String fileName = dialog.getFile();
-diff -ur src.orig/alice/tuprologx/ide/GUILauncher.java src/alice/tuprologx/ide/GUILauncher.java ---- src.orig/alice/tuprologx/ide/GUILauncher.java 2006-10-30 12:45:16.000000000 +1300 -+++ src/alice/tuprologx/ide/GUILauncher.java 2007-01-22 09:53:52.000000000 +1300 -@@ -74,7 +74,7 @@ - private void launchDotNetGUI() {
- DotNetIDE ide = new DotNetIDE();
- ide.pack();
-- ide.show();
-+ ide.setVisible(true);
- }
-
- /**
-diff -ur src.orig/alice/util/jedit/JEditTextArea.java src/alice/util/jedit/JEditTextArea.java ---- src.orig/alice/util/jedit/JEditTextArea.java 2006-10-30 12:45:16.000000000 +1300 -+++ src/alice/util/jedit/JEditTextArea.java 2007-01-22 10:59:07.000000000 +1300 -@@ -115,10 +115,10 @@ - * Returns if this component can be traversed by pressing - * the Tab key. This returns false. - */ -- public final boolean isManagingFocus() -+ /*public final boolean isManagingFocus() - { - return true; -- } -+ }*/ - - /** - * Returns the object responsible for painting this text area. -@@ -507,7 +507,7 @@ - if(id == Token.NULL) - fm = painter.getFontMetrics(); - else -- fm = styles[id].getFontMetrics(defaultFont); -+ fm = styles[id].getFontMetrics(painter, defaultFont); - - int length = tokens.length; - -@@ -604,7 +604,7 @@ - if(id == Token.NULL) - fm = painter.getFontMetrics(); - else -- fm = styles[id].getFontMetrics(defaultFont); -+ fm = styles[id].getFontMetrics(painter, defaultFont); - - int length = tokens.length; - -diff -ur src.orig/alice/util/jedit/SyntaxStyle.java src/alice/util/jedit/SyntaxStyle.java ---- src.orig/alice/util/jedit/SyntaxStyle.java 2006-10-30 12:45:16.000000000 +1300 -+++ src/alice/util/jedit/SyntaxStyle.java 2007-01-22 11:03:42.000000000 +1300 -@@ -9,6 +9,7 @@ - package alice.util.jedit; - - import java.awt.*; -+import javax.swing.*; - import java.util.StringTokenizer; - - /** -@@ -86,7 +87,7 @@ - /** - * Returns the font metrics for the styled font. - */ -- public FontMetrics getFontMetrics(Font font) -+ public FontMetrics getFontMetrics(JComponent component, Font font) - { - if(font == null) - throw new NullPointerException("font param must not" -@@ -98,7 +99,7 @@ - (bold ? Font.BOLD : 0) - | (italic ? Font.ITALIC : 0), - font.getSize()); -- fontMetrics = Toolkit.getDefaultToolkit().getFontMetrics( -+ fontMetrics = component.getFontMetrics( - lastStyledFont); - return fontMetrics; - } -diff -ur src.orig/alice/util/jedit/TextAreaPainter.java src/alice/util/jedit/TextAreaPainter.java ---- src.orig/alice/util/jedit/TextAreaPainter.java 2006-10-30 12:45:16.000000000 +1300 -+++ src/alice/util/jedit/TextAreaPainter.java 2007-01-22 10:42:10.000000000 +1300 -@@ -67,10 +67,10 @@ - * Returns if this component can be traversed by pressing the - * Tab key. This returns false. - */ -- public final boolean isManagingFocus() -+ /*public final boolean isManagingFocus() - { - return false; -- } -+ }*/ - - /** - * Returns the syntax styles used to paint colorized text. Entry <i>n</i> -@@ -350,7 +350,7 @@ - public void setFont(Font font) - { - super.setFont(font); -- fm = Toolkit.getDefaultToolkit().getFontMetrics(font); -+ fm = getFontMetrics(font); - textArea.recalculateVisibleLines(); - } - -diff -ur src.orig/alice/util/thinlet/Thinlet.java src/alice/util/thinlet/Thinlet.java ---- src.orig/alice/util/thinlet/Thinlet.java 2006-10-30 12:45:16.000000000 +1300 -+++ src/alice/util/thinlet/Thinlet.java 2007-01-22 09:55:25.000000000 +1300 -@@ -1,4 +1,4 @@ --/* áÁÕôÛûÍí
-+/* ����
- Thinlet GUI toolkit - www.thinlet.com
- Copyright (C) 2002 Robert Bajzat (robert.bajzat@thinlet.com)
-
-@@ -2157,7 +2157,7 @@ - *
- * @return true as focus-transverable component, overwrites the default false value
- */
-- public boolean isFocusTraversable() {
-+ public boolean isFocusable() {
- return true;
- }
-
|