X-Git-Url: http://git.argeo.org/?a=blobdiff_plain;f=rcp%2Forg.argeo.eclipse.ui.rcp%2Fsrc%2Forg%2Fargeo%2Fswt%2Fdesktop%2FMiniExplorer.java;h=6f6a782fbabc15290a44b0239acfa53c42bc2321;hb=af32dbee6269d2d1ff7516c61aca7bb5fb6d7d35;hp=b88dbff31eafa3001debc13794d4825438efa0f6;hpb=7317c5c172fe411eaaf26ff6bc9012b3f36a3c01;p=gpl%2Fargeo-slc.git

diff --git a/rcp/org.argeo.eclipse.ui.rcp/src/org/argeo/swt/desktop/MiniExplorer.java b/rcp/org.argeo.eclipse.ui.rcp/src/org/argeo/swt/desktop/MiniExplorer.java
index b88dbff31..6f6a782fb 100644
--- a/rcp/org.argeo.eclipse.ui.rcp/src/org/argeo/swt/desktop/MiniExplorer.java
+++ b/rcp/org.argeo.eclipse.ui.rcp/src/org/argeo/swt/desktop/MiniExplorer.java
@@ -24,20 +24,24 @@ import org.eclipse.swt.widgets.TableItem;
 import org.eclipse.swt.widgets.Text;
 
 public class MiniExplorer {
-	private Path url;
+	private Path path;
 	private Text addressT;
 	private Table browser;
 
 	private boolean showHidden = false;
 
-	public MiniExplorer(Composite parent, int style) {
-		parent.setLayout(new GridLayout());
+	public MiniExplorer(Composite parent, String url) {
+		this(parent);
+		setUrl(url);
+	}
+
+	public MiniExplorer(Composite parent) {
+		parent.setLayout(noSpaceGridLayout(new GridLayout()));
 
 		Composite toolBar = new Composite(parent, SWT.NONE);
 		toolBar.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, false));
 		toolBar.setLayout(new FillLayout());
-		addressT = new Text(toolBar, SWT.SINGLE | SWT.BORDER);
-		// addressT.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, false));
+		addressT = new Text(toolBar, SWT.SINGLE);
 		addressT.addSelectionListener(new SelectionAdapter() {
 
 			@Override
@@ -45,20 +49,25 @@ public class MiniExplorer {
 				setUrl(addressT.getText().trim());
 			}
 		});
-		browser = createTable(parent, this.url);
+		browser = createTable(parent, this.path);
 
 	}
 
-	public void setUrl(Path url) {
-		this.url = url;
+	public void setPath(Path url) {
+		this.path = url;
 		if (addressT != null)
 			addressT.setText(url.toString());
 		if (browser != null) {
 			Composite parent = browser.getParent();
 			browser.dispose();
-			browser = createTable(parent, this.url);
+			browser = createTable(parent, this.path);
 			parent.layout(true, true);
 		}
+		pathChanged(url);
+	}
+
+	protected void pathChanged(Path path) {
+
 	}
 
 	protected Table createTable(Composite parent, Path path) {
@@ -72,7 +81,7 @@ public class MiniExplorer {
 				TableItem item = table.getItem(pt);
 				Path path = (Path) item.getData();
 				if (Files.isDirectory(path)) {
-					setUrl(path);
+					setPath(path);
 				} else {
 					Program.launch(path.toString());
 				}
@@ -88,14 +97,14 @@ public class MiniExplorer {
 
 			try {
 				// directories
-				DirectoryStream<Path> ds = Files.newDirectoryStream(url, p -> Files.isDirectory(p) && isShown(p));
+				DirectoryStream<Path> ds = Files.newDirectoryStream(path, p -> Files.isDirectory(p) && isShown(p));
 				ds.forEach(p -> {
 					TableItem ti = new TableItem(table, SWT.NONE);
 					ti.setText(p.getFileName().toString() + "/");
 					ti.setData(p);
 				});
 				// files
-				ds = Files.newDirectoryStream(url, p -> !Files.isDirectory(p) && isShown(p));
+				ds = Files.newDirectoryStream(path, p -> !Files.isDirectory(p) && isShown(p));
 				ds.forEach(p -> {
 					TableItem ti = new TableItem(table, SWT.NONE);
 					ti.setText(p.getFileName().toString());
@@ -120,16 +129,30 @@ public class MiniExplorer {
 	}
 
 	public void setUrl(String url) {
-		setUrl(Paths.get(url));
+		setPath(Paths.get(url));
+	}
+
+	private static GridLayout noSpaceGridLayout(GridLayout layout) {
+		layout.horizontalSpacing = 0;
+		layout.verticalSpacing = 0;
+		layout.marginWidth = 0;
+		layout.marginHeight = 0;
+		return layout;
 	}
 
 	public static void main(String[] args) {
 		Display display = Display.getCurrent() == null ? new Display() : Display.getCurrent();
 		Shell shell = new Shell(display, SWT.SHELL_TRIM);
 
-		MiniExplorer miniBrowser = new MiniExplorer(shell, SWT.NONE);
 		String url = args.length > 0 ? args[0] : System.getProperty("user.home");
-		miniBrowser.setUrl(url);
+		new MiniExplorer(shell, url) {
+
+			@Override
+			protected void pathChanged(Path path) {
+				shell.setText(path.toString());
+			}
+
+		};
 
 		shell.open();
 		shell.setSize(new Point(800, 480));