public void RefreshFileSystemTree()
        {
            var uiRequest = new UIRequest {
                Request = new RefreshFileSystemTreeRequest(),
                Id      = "RefreshFileSystemTreeRequest",
                Delay   = TimeSpan.FromSeconds(0.0),
                OnSend  = () => {
                    this._performSearchOnNextRefresh = true;
                }
            };

            _uiRequestProcessor.Post(uiRequest);
        }
        private void SendRegisterFileRequest(string path)
        {
            if (!IsPhysicalFile(path))
            {
                return;
            }

            var request = new UIRequest {
                Id      = "RegisterFileRequest-" + path,
                Request = new RegisterFileRequest {
                    FileName = path
                }
            };

            _uiRequestProcessor.Post(request);
        }
        private void FetchFilesystemTree()
        {
            var request = new UIRequest()
            {
                Id              = "GetFileSystemRequest",
                TypedRequest    = new GetFileSystemRequest {
                },
                SuccessCallback = (typedResponse) => {
                    var response = (GetFileSystemResponse)typedResponse;
                    ViewModel.SetFileSystemTree(response.Tree);
                },
                ErrorCallback = (errorResponse) => {
                    ViewModel.SetErrorResponse(errorResponse);
                }
            };

            _uiRequestProcessor.Post(request);
        }
예제 #4
0
        public void OnDocumentOpen(ITextDocument document)
        {
            var path = document.FilePath;

            if (!IsPhysicalFile(path))
            {
                return;
            }

            var request = new UIRequest {
                Id           = "AddFileNameRequest-" + path,
                TypedRequest = new AddFileNameRequest {
                    FileName = path
                }
            };

            _uiRequestProcessor.Post(request);
        }
        private void RefreshFileSystemTree()
        {
            var uiRequest = new UIRequest {
                Request = new RefreshFileSystemTreeRequest(),
                Id      = "RefreshFileSystemTreeRequest",
                Delay   = TimeSpan.FromSeconds(0.0),
            };

            _uiRequestProcessor.Post(uiRequest);
        }