import org.eclipse.swt.events.KeyListener;
import org.eclipse.swt.events.ModifyEvent;
import org.eclipse.swt.events.ModifyListener;
-import org.eclipse.swt.graphics.Point;
import org.eclipse.swt.graphics.Rectangle;
import org.eclipse.swt.layout.GridData;
import org.eclipse.swt.layout.GridLayout;
import org.eclipse.swt.widgets.Table;
import org.eclipse.swt.widgets.Text;
+/** Simple UI provider that populates a composite parent given a NIO path */
public class AdvancedFsBrowser {
private final static Log log = LogFactory.getLog(AdvancedFsBrowser.class);
// Some local constants to experiment. should be cleaned
- private final static int THUMBNAIL_WIDTH = 400;
+ // private final static int THUMBNAIL_WIDTH = 400;
+ // private Point imageWidth = new Point(250, 0);
private final static int COLUMN_WIDTH = 160;
private Path initialPath;
scrolledCmpBody = new Composite(scrolledCmp, SWT.NO_FOCUS);
scrolledCmp.setContent(scrolledCmpBody);
scrolledCmpBody.addControlListener(new ControlAdapter() {
+ private static final long serialVersionUID = 183238447102854553L;
@Override
public void controlResized(ControlEvent e) {
}
}
- private Point imageWidth = new Point(250, 0);
-
/**
- * Recreates the content of the box that displays information about the
- * current selected node.
+ * Recreates the content of the box that displays information about the current
+ * selected node.
*/
private void populateCurrEditedDisplay(Composite parent, Path context) {
parent.setLayout(new GridLayout());
}
/**
- * Enable highlighting the correct element in the table when externally
- * browsing (typically via the command-line-like Text field)
+ * Enable highlighting the correct element in the table when externally browsing
+ * (typically via the command-line-like Text field)
*/
void setSelected(Path selected) {
// to prevent change selection event to be thrown
IStructuredSelection selection = (IStructuredSelection) viewer.getSelection();
if (selection.isEmpty())
return;
- else {
- Path newSelected = (Path) selection.getFirstElement();
- if (newSelected.equals(currSelected))
- return;
- currSelected = newSelected;
- setEdited(newSelected);
- }
+ Object obj = selection.getFirstElement();
+ Path newSelected;
+ if (obj instanceof Path)
+ newSelected = (Path) obj;
+ else if (obj instanceof ParentDir)
+ newSelected = ((ParentDir) obj).getPath();
+ else
+ return;
+ if (newSelected.equals(currSelected))
+ return;
+ currSelected = newSelected;
+ setEdited(newSelected);
+
}
});