Changeset 18241

Show
Ignore:
Timestamp:
17.12.2008 18:48:34 (11 years ago)
Author:
cc108
Message:

add new text pane to display READNE

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • greenstone3/trunk/src/java/org/greenstone/admin/gui/ExtensionInstallation.java

    r18220 r18241  
    3030import javax.xml.transform.stream.StreamResult; 
    3131 
    32 //import org.apache.tools.ant.Project; 
    33 //import org.apache.tools.ant.ProjectHelper; 
    3432import org.greenstone.gsdl3.util.GSPath; 
    3533import org.greenstone.gsdl3.util.GlobalProperties; 
     
    4947import java.util.Set; 
    5048 
     49import java.awt.BorderLayout; 
     50import javax.swing.JFrame; 
     51import javax.swing.JScrollPane; 
     52import javax.swing.JTextPane; 
     53import javax.swing.text.BadLocationException; 
     54import javax.swing.text.DefaultStyledDocument; 
     55import javax.swing.text.SimpleAttributeSet; 
     56import javax.swing.text.Style; 
     57import javax.swing.text.StyleConstants; 
     58import javax.swing.text.StyleContext; 
     59import javax.swing.text.StyledDocument; 
     60import java.io.DataInputStream; 
    5161 
    5262class ExtensionInstallation extends Thread { 
     
    106116            proc.waitFor(); 
    107117         
    108             JOptionPane.showMessageDialog(new JFrame(),adaptee.InstallCompleteMsg); 
     118        JTextPaneStyle test  = new JTextPaneStyle(adaptee.extension_path); 
     119        test.display(); 
    109120        ExtPane.updateExtensionContentPane(); 
    110121         
     
    118129    } 
    119130}  
     131 
     132 
     133class JTextPaneStyle implements ActionListener{ 
     134 
     135        private static String message =""; 
     136 
     137    JFrame frame = new JFrame("The extension (Mat) has been installed!!!"); 
     138    private String filePath; 
     139     
     140    public JTextPaneStyle (String path){ 
     141        filePath = path + "README.txt"; 
     142        loadReadMe(); 
     143    } 
     144 
     145        public void loadReadMe(){ 
     146     
     147            try{ 
     148 
     149            FileInputStream fstream = new FileInputStream(filePath); 
     150        DataInputStream in = new DataInputStream(fstream); 
     151            BufferedReader br = new BufferedReader(new InputStreamReader(in)); 
     152            String strLine; 
     153 
     154            while ((strLine = br.readLine()) != null)   { 
     155            message = message+ "\n "+ strLine; 
     156            } 
     157 
     158            in.close(); 
     159     
     160            }catch (Exception e){ 
     161                System.err.println("Error: " + e.getMessage()); 
     162            } 
     163     
     164        } 
     165 
     166    public void display() { 
     167 
     168        frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); 
     169 
     170        frame.setSize(new Dimension(550, 450)); 
     171        StyleContext context = new StyleContext(); 
     172        StyledDocument document = new DefaultStyledDocument(context); 
     173 
     174        Style style = context.getStyle(StyleContext.DEFAULT_STYLE); 
     175        StyleConstants.setAlignment(style, StyleConstants.ALIGN_LEFT); 
     176        StyleConstants.setFontSize(style, 14); 
     177        StyleConstants.setSpaceAbove(style, 4); 
     178        StyleConstants.setSpaceBelow(style, 4); 
     179 
     180        try { 
     181            document.insertString(document.getLength(), message, style); 
     182        } catch (BadLocationException badLocationException) { 
     183            System.err.println("Oops"); 
     184        } 
     185 
     186        JPanel mainPane = new JPanel(new BorderLayout()); 
     187        JTextPane textPane = new JTextPane(document); 
     188        textPane.setEditable(false); 
     189        JScrollPane scrollPane = new JScrollPane(textPane); 
     190        mainPane.add(scrollPane,BorderLayout.CENTER); 
     191        JButton jbutton = new JButton("ok"); 
     192        jbutton.addActionListener(this); 
     193        mainPane.add(jbutton,BorderLayout.SOUTH); 
     194        frame.getContentPane().add(mainPane, BorderLayout.CENTER); 
     195        frame.setVisible(true); 
     196      } 
     197 
     198    public void actionPerformed(ActionEvent e) { 
     199        frame.dispose(); 
     200    } 
     201} 
     202 
     203