-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathSavedOptionTab.java
More file actions
84 lines (70 loc) · 1.83 KB
/
SavedOptionTab.java
File metadata and controls
84 lines (70 loc) · 1.83 KB
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
import javax.swing.*;
import java.awt.event.*;
import java.awt.*;
import java.io.*;
/** @author Gergely Kota
SavedOptionTabs run a websearch + comparison, and display the result
*/
public class SavedOptionTab extends OptionTab
{
// private OptionPanel compare;
private SelectiveInfo file;
public SavedOptionTab()
{
super("Saved Search");
JPanel center = new JPanel(new BorderLayout());
JPanel north = new JPanel(new GridLayout(2,1));
file = new SelectiveInfo("File", false, 50);
JButton browse = new JButton("Browse");
browse.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent ae) {
try
{
file.set(FileFrame.getOpenFile().getAbsolutePath());
}
catch(Exception e) {}
}
});
JPanel small = new JPanel(new BorderLayout());
small.add(file, BorderLayout.CENTER);
small.add(browse, BorderLayout.EAST);
JPanel buffer = new JPanel(new BorderLayout());
buffer.add(small, BorderLayout.NORTH);
setCenter(buffer);
setDescription("Enter a file name to load a previous comparison result from");
}
private DocumentComparisonResult loadFile(File f)
{
try
{
ObjectInputStream ois = new ObjectInputStream(new FileInputStream(f));
DocumentComparisonResult d;
return (DocumentComparisonResult) ois.readObject();
}
catch(Exception e) {return null;}
}
public void go()
{
// setWorkingDirectory somehow ...
SplatFile f = new SplatFile(file.read());
DocumentComparisonResult dcr = loadFile(f);
if(dcr != null)
{
log("Restoring DocumentComparisonResult from " + f.getName());
launch(dcr);
}
else
log("Failed to restore from file " + f.getName());
}
public void setup()
{
// compare.setup();
}
public static void main(String[] args)
{
JFrame jf = new JFrame();
jf.getContentPane().add(new SavedOptionTab());
jf.pack();
jf.show();
}
}