PopupTree popupTree = GSS.get().getFolders().getPopupTree();
TreeItem treeObj = GSS.get().getFolders().getPopupTree().getTreeItem(historyToken);
SelectionEvent.fire(popupTree, treeObj);
- }
- } catch (IndexOutOfBoundsException e) {
- inner.selectTab(0);
- }
}
- });
+ } catch (IndexOutOfBoundsException e) {
+ inner.selectTab(0);
+ }
+ }
+ });
// Add the left and right panels to the split panel.
splitPanel.setLeftWidget(folders);
}
/**
- * Reject illegal resource names, like '.' or '..'.
+ * Reject illegal resource names, like '.' or '..' or slashes '/'.
*/
static boolean isValidResourceName(String name) {
- if (".".equals(name) || "..".equals(name))
+ if (".".equals(name) || "..".equals(name) || name.contains("/"))
return false;
return true;
}