X-Git-Url: http://git.argeo.org/?a=blobdiff_plain;f=swt%2Forg.argeo.swt.minidesktop%2Fsrc%2Forg%2Fargeo%2Fminidesktop%2FMiniTextEditor.java;fp=swt%2Forg.argeo.swt.minidesktop%2Fsrc%2Forg%2Fargeo%2Fminidesktop%2FMiniTextEditor.java;h=91cd19e90379b576eb10ef9a8f6fe449cdf08d7c;hb=59fb5931076a3a22b81b5ac33290523fc941fe2b;hp=0000000000000000000000000000000000000000;hpb=4f4eb7a8c86fc86e02b57d30218ecfdd398f71b4;p=lgpl%2Fargeo-commons.git

diff --git a/swt/org.argeo.swt.minidesktop/src/org/argeo/minidesktop/MiniTextEditor.java b/swt/org.argeo.swt.minidesktop/src/org/argeo/minidesktop/MiniTextEditor.java
new file mode 100644
index 000000000..91cd19e90
--- /dev/null
+++ b/swt/org.argeo.swt.minidesktop/src/org/argeo/minidesktop/MiniTextEditor.java
@@ -0,0 +1,161 @@
+package org.argeo.minidesktop;
+
+import java.io.BufferedReader;
+import java.io.BufferedWriter;
+import java.io.FileNotFoundException;
+import java.io.IOException;
+import java.io.InputStreamReader;
+import java.io.OutputStreamWriter;
+import java.net.MalformedURLException;
+import java.net.URISyntaxException;
+import java.net.URL;
+import java.nio.charset.StandardCharsets;
+import java.nio.file.Files;
+import java.nio.file.Path;
+import java.nio.file.Paths;
+
+import org.eclipse.swt.SWT;
+import org.eclipse.swt.events.SelectionAdapter;
+import org.eclipse.swt.events.SelectionEvent;
+import org.eclipse.swt.graphics.Point;
+import org.eclipse.swt.layout.GridData;
+import org.eclipse.swt.layout.GridLayout;
+import org.eclipse.swt.layout.RowLayout;
+import org.eclipse.swt.widgets.Button;
+import org.eclipse.swt.widgets.Composite;
+import org.eclipse.swt.widgets.Display;
+import org.eclipse.swt.widgets.FileDialog;
+import org.eclipse.swt.widgets.Shell;
+import org.eclipse.swt.widgets.Text;
+
+public class MiniTextEditor {
+	private URL url;
+	private Text text;
+
+	public MiniTextEditor(Composite parent, int style) {
+		parent.setLayout(new GridLayout());
+
+		Composite toolBar = new Composite(parent, SWT.NONE);
+		toolBar.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, false));
+		toolBar.setLayout(new RowLayout());
+		Button load = new Button(toolBar, SWT.FLAT);
+		load.setText("\u2191");// up arrow
+		load.addSelectionListener(new SelectionAdapter() {
+
+			@Override
+			public void widgetSelected(SelectionEvent e) {
+				FileDialog fileDialog = new FileDialog(text.getShell());
+				String path = fileDialog.open();
+				if (path != null) {
+					setUrl(path);
+				}
+			}
+
+		});
+
+		Button save = new Button(toolBar, SWT.FLAT);
+		save.setText("\u2193");// down arrow
+		// save.setText("\u1F609");// emoji
+		save.addSelectionListener(new SelectionAdapter() {
+
+			@Override
+			public void widgetSelected(SelectionEvent e) {
+				save(url);
+			}
+
+		});
+
+		text = new Text(parent, SWT.WRAP | SWT.MULTI | SWT.BORDER | SWT.V_SCROLL);
+		text.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));
+	}
+
+	protected void load(URL url) {
+		text.setText("");
+		// TODO deal with encoding and binary data
+		try (BufferedReader in = new BufferedReader(new InputStreamReader(url.openStream(), StandardCharsets.UTF_8))) {
+			String line = null;
+			while ((line = in.readLine()) != null) {
+				text.append(line + "\n");
+			}
+			text.setEditable(true);
+		} catch (IOException e) {
+			if (e instanceof FileNotFoundException) {
+				Path path = url2path(url);
+				try {
+					Files.createFile(path);
+					load(url);
+					return;
+				} catch (IOException e1) {
+					e = e1;
+				}
+			}
+			text.setText(e.getMessage());
+			text.setEditable(false);
+			e.printStackTrace();
+			// throw new IllegalStateException("Cannot load " + url, e);
+		}
+	}
+
+	protected Path url2path(URL url) {
+		try {
+			Path path = Paths.get(url.toURI());
+			return path;
+		} catch (URISyntaxException e) {
+			throw new IllegalStateException("Cannot convert " + url + " to uri", e);
+		}
+	}
+
+	protected void save(URL url) {
+		if (!url.getProtocol().equals("file"))
+			throw new IllegalArgumentException(url.getProtocol() + " protocol is not supported for write");
+		Path path = url2path(url);
+		try (BufferedWriter out = new BufferedWriter(new OutputStreamWriter(Files.newOutputStream(path)))) {
+			out.write(text.getText());
+		} catch (IOException e) {
+			throw new IllegalStateException("Cannot save " + url + " to " + path, e);
+		}
+	}
+
+	public void setUrl(URL url) {
+		this.url = url;
+		if (text != null)
+			load(url);
+	}
+
+	public void setUrl(String url) {
+		try {
+			setUrl(new URL(url));
+		} catch (MalformedURLException e) {
+			// try with http
+			try {
+				setUrl(new URL("file://" + url));
+				return;
+			} catch (MalformedURLException e1) {
+				// nevermind...
+			}
+			throw new IllegalArgumentException("Cannot interpret URL " + url, e);
+		}
+	}
+
+	public static void main(String[] args) {
+		Display display = Display.getCurrent() == null ? new Display() : Display.getCurrent();
+		Shell shell = new Shell(display, SWT.SHELL_TRIM);
+
+		MiniTextEditor miniBrowser = new MiniTextEditor(shell, SWT.NONE);
+		String url = args.length > 0 ? args[0] : "";
+		if (!url.trim().equals("")) {
+			miniBrowser.setUrl(url);
+			shell.setText(url);
+		} else {
+			shell.setText("*");
+		}
+
+		shell.open();
+		shell.setSize(new Point(800, 480));
+		while (!shell.isDisposed()) {
+			if (!display.readAndDispatch())
+				display.sleep();
+		}
+	}
+
+}