summaryrefslogtreecommitdiff
path: root/support/makeglossariesgui/src/java/ViewFile.java
blob: 06db7fdf86a482376bca63045f2d04558b770b54 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
package com.dickimawbooks.makeglossariesgui;

import java.awt.*;
import java.io.*;
import java.net.*;

import javax.swing.*;
import javax.swing.text.*;

public class ViewFile extends JFrame
{
   public ViewFile(URL source, Font font, MakeGlossariesGUI application)
      throws IOException,BadLocationException
   {
      super(source.getFile());

      app = application;

      setIconImage(app.getIconImage());

      url = source;

      area = new JTextPane();

      StyledDocument doc = area.getStyledDocument();

      Style def = StyleContext.getDefaultStyleContext()
         .getStyle(StyleContext.DEFAULT_STYLE);

      doc.addStyle("regular", def);

      area.setEditable(false);

      area.setFont(font);

      scrollPane = new JScrollPane(area);

      getContentPane().add(scrollPane, "Center");

      scrollPane.setPreferredSize(new Dimension(500, 400));

      pack();

      setLocationRelativeTo(null);

      reload();
   }

   public void reload()
      throws IOException,BadLocationException
   {
      BufferedReader reader = null;

      StringBuilder content = new StringBuilder();

      try
      {
         reader = new BufferedReader(new InputStreamReader(
           url.openStream(), app.getEncoding()));

         String line;

         while ((line = reader.readLine()) != null)
         {
            content.append(String.format("%s%n", line));
         }
      }
      finally
      {
         if (reader != null)
         {
            reader.close();
         }
      }

      StyledDocument doc = area.getStyledDocument();
      doc.insertString(0, content.toString(), doc.getStyle("regular"));

      SwingUtilities.invokeLater(new Runnable()
      {
         public void run()
         {
            area.setCaretPosition(0);
         }
      }
      );
   }

   private URL url;

   private JTextPane area;

   private JScrollPane scrollPane;

   private MakeGlossariesGUI app;
}