|
@@ -200,7 +200,7 @@ class FileView extends hide.ui.View<{ path : String }> {
|
|
{ label : null, isSeparator : true },
|
|
{ label : null, isSeparator : true },
|
|
reloadItem,
|
|
reloadItem,
|
|
{ label : "Copy Path", enabled : hasPath, click : function() { ide.setClipboard(state.path); } },
|
|
{ label : "Copy Path", enabled : hasPath, click : function() { ide.setClipboard(state.path); } },
|
|
- { label : "Open in Explorer", enabled : hasPath, click : function() { FileTree.exploreFile(getPath()); } },
|
|
|
|
|
|
+ { label : "Open in Explorer", enabled : hasPath, click : function() { Ide.showFileInExplorer(getPath()); } },
|
|
{ label : "Open in Resources", enabled : hasPath, click : function() {
|
|
{ label : "Open in Resources", enabled : hasPath, click : function() {
|
|
var filetree = ide.getViews(FileTree)[0];
|
|
var filetree = ide.getViews(FileTree)[0];
|
|
if( filetree != null ) {
|
|
if( filetree != null ) {
|