Changeset 18247 for greenstone3

Timestamp:

2008-12-18T14:08:44+13:00 (15 years ago)

Author:

cc108

Message:

replace jtextpane with jtextarea

File:

• greenstone3/trunk/src/java/org/greenstone/admin/gui/ExtensionInstallation.java (modified) (4 diffs)

greenstone3/trunk/src/java/org/greenstone/admin/gui/ExtensionInstallation.java

@@ -50 +50 @@
 import javax.swing.JFrame;
 import javax.swing.JScrollPane;
-import javax.swing.JTextPane;
+import javax.swing.JTextArea;
 import javax.swing.text.BadLocationException;
 import javax.swing.text.DefaultStyledDocument;
@@ -114 +114 @@
         
         ExtPane.message_textarea.append(timestamp);
-            proc.waitFor();
-        
+        proc.waitFor();
+        System.out.println("here -1");
         JTextPaneStyle test  = new JTextPaneStyle(adaptee.extension_path);
+        System.out.println("here -2");
         test.display();
+        System.out.println("here -3");
         ExtPane.updateExtensionContentPane();
         
@@ -133 +135 @@
 class JTextPaneStyle implements ActionListener{
 
-        private static String message ="";
+    private static String message ="";
 
     JFrame frame = new JFrame("The extension (Mat) has been installed!!!");
@@ -143 +145 @@
     }
 
-        public void loadReadMe(){
-    
-            try{
+    public void loadReadMe(){
+        message = new String();
 
-            FileInputStream fstream = new FileInputStream(filePath);
-        DataInputStream in = new DataInputStream(fstream);
-            BufferedReader br = new BufferedReader(new InputStreamReader(in));
-            String strLine;
+        try{
 
-            while ((strLine = br.readLine()) != null)   {
-            message = message+ "\n "+ strLine;
-            }
+            FileInputStream fstream = new FileInputStream(filePath);
+            DataInputStream in = new DataInputStream(fstream);
+            BufferedReader br = new BufferedReader(new InputStreamReader(in));
+            String strLine;
 
-            in.close();
-    
-            }catch (Exception e){
-                System.err.println("Error: " + e.getMessage());
-            }
-    
-        }
+            while ((strLine = br.readLine()) != null)   {
+                message = message+ "\n "+ strLine;
+            }
+
+            in.close();
+        }catch (Exception e){
+            System.err.println("Error: " + e.getMessage());
+        }
+    }
 
     public void display() {
 
         frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
-
         frame.setSize(new Dimension(550, 450));
-        StyleContext context = new StyleContext();
-        StyledDocument document = new DefaultStyledDocument(context);
-
-        Style style = context.getStyle(StyleContext.DEFAULT_STYLE);
-        StyleConstants.setAlignment(style, StyleConstants.ALIGN_LEFT);
-        StyleConstants.setFontSize(style, 14);
-        StyleConstants.setSpaceAbove(style, 4);
-        StyleConstants.setSpaceBelow(style, 4);
-
-        try {
-            document.insertString(document.getLength(), message, style);
-        } catch (BadLocationException badLocationException) {
-            System.err.println("Oops");
-        }
-
         JPanel mainPane = new JPanel(new BorderLayout());
-        JTextPane textPane = new JTextPane(document);
+        JTextArea textPane = new JTextArea(message);
         textPane.setEditable(false);
         JScrollPane scrollPane = new JScrollPane(textPane);