1 package org.argeo.swt.desktop;
2
3 import java.io.BufferedReader;
4 import java.io.BufferedWriter;
5 import java.io.FileNotFoundException;
6 import java.io.IOException;
7 import java.io.InputStreamReader;
8 import java.io.OutputStreamWriter;
9 import java.net.MalformedURLException;
10 import java.net.URISyntaxException;
11 import java.net.URL;
12 import java.nio.charset.StandardCharsets;
13 import java.nio.file.Files;
14 import java.nio.file.Path;
15 import java.nio.file.Paths;
16
17 import org.eclipse.swt.SWT;
18 import org.eclipse.swt.events.SelectionAdapter;
19 import org.eclipse.swt.events.SelectionEvent;
20 import org.eclipse.swt.graphics.Point;
21 import org.eclipse.swt.layout.GridData;
22 import org.eclipse.swt.layout.GridLayout;
23 import org.eclipse.swt.layout.RowLayout;
24 import org.eclipse.swt.widgets.Button;
25 import org.eclipse.swt.widgets.Composite;
26 import org.eclipse.swt.widgets.Display;
27 import org.eclipse.swt.widgets.FileDialog;
28 import org.eclipse.swt.widgets.Shell;
29 import org.eclipse.swt.widgets.Text;
30
31 public class MiniTextEditor {
32 private URL url;
33 private Text text;
34
35 public MiniTextEditor(Composite parent, int style) {
36 parent.setLayout(new GridLayout());
37
38 Composite toolBar = new Composite(parent, SWT.NONE);
39 toolBar.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, false));
40 toolBar.setLayout(new RowLayout());
41 Button load = new Button(toolBar, SWT.FLAT);
42 load.setText("\u2191");
43 load.addSelectionListener(new SelectionAdapter() {
44
45 @Override
46 public void widgetSelected(SelectionEvent e) {
47 FileDialog fileDialog = new FileDialog(text.getShell());
48 String path = fileDialog.open();
49 if (path != null) {
50 setUrl(path);
51 }
52 }
53
54 });
55
56 Button save = new Button(toolBar, SWT.FLAT);
57 save.setText("\u2193");
58
59 save.addSelectionListener(new SelectionAdapter() {
60
61 @Override
62 public void widgetSelected(SelectionEvent e) {
63 save(url);
64 }
65
66 });
67
68 text = new Text(parent, SWT.WRAP | SWT.MULTI | SWT.BORDER | SWT.V_SCROLL);
69 text.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));
70 }
71
72 protected void load(URL url) {
73 text.setText("");
74
75 try (BufferedReader in = new BufferedReader(new InputStreamReader(url.openStream(), StandardCharsets.UTF_8))) {
76 String line = null;
77 while ((line = in.readLine()) != null) {
78 text.append(line + "\n");
79 }
80 text.setEditable(true);
81 } catch (IOException e) {
82 if (e instanceof FileNotFoundException) {
83 Path path = url2path(url);
84 try {
85 Files.createFile(path);
86 load(url);
87 return;
88 } catch (IOException e1) {
89 e = e1;
90 }
91 }
92 text.setText(e.getMessage());
93 text.setEditable(false);
94 e.printStackTrace();
95
96 }
97 }
98
99 protected Path url2path(URL url) {
100 try {
101 Path path = Paths.get(url.toURI());
102 return path;
103 } catch (URISyntaxException e) {
104 throw new IllegalStateException("Cannot convert " + url + " to uri", e);
105 }
106 }
107
108 protected void save(URL url) {
109 if (!url.getProtocol().equals("file"))
110 throw new IllegalArgumentException(url.getProtocol() + " protocol is not supported for write");
111 Path path = url2path(url);
112 try (BufferedWriter out = new BufferedWriter(new OutputStreamWriter(Files.newOutputStream(path)))) {
113 out.write(text.getText());
114 } catch (IOException e) {
115 throw new IllegalStateException("Cannot save " + url + " to " + path, e);
116 }
117 }
118
119 public void setUrl(URL url) {
120 this.url = url;
121 if (text != null)
122 load(url);
123 }
124
125 public void setUrl(String url) {
126 try {
127 setUrl(new URL(url));
128 } catch (MalformedURLException e) {
129
130 try {
131 setUrl(new URL("file://" + url));
132 return;
133 } catch (MalformedURLException e1) {
134
135 }
136 throw new IllegalArgumentException("Cannot interpret URL " + url, e);
137 }
138 }
139
140 public static void main(String[] args) {
141 Display display = Display.getCurrent() == null ? new Display() : Display.getCurrent();
142 Shell shell = new Shell(display, SWT.SHELL_TRIM);
143
144 MiniTextEditor miniBrowser = new MiniTextEditor(shell, SWT.NONE);
145 String url = args.length > 0 ? args[0] : "";
146 if (!url.trim().equals("")) {
147 miniBrowser.setUrl(url);
148 shell.setText(url);
149 } else {
150 shell.setText("*");
151 }
152
153 shell.open();
154 shell.setSize(new Point(800, 480));
155 while (!shell.isDisposed()) {
156 if (!display.readAndDispatch())
157 display.sleep();
158 }
159 }
160
161 }