Beispiel #1
0
        public TableResultPane AddTab(TableName tname, int top)
        {
            FileLink        link = FileLink.CreateLink(tname.FullPath);
            TableResultPane pane;

            if (panes.ContainsKey(link))
            {
                pane = (TableResultPane)panes[link];
                tabControl.SelectedItem = pane.TabItem;
                return(pane);
            }

            pane = new TableResultPane(this, tname, top)
            {
                Link = link
            };

            panes.Add(link, pane);

            TabItem newTab = new TabItem
            {
                Header  = NewLabelImage(pane, tname.Path, "Close_16x16.png"),
                Content = pane,
                ToolTip = link.ToString(),
            };

            pane.TabItem = newTab;
            tabControl.Items.Add(newTab);
            newTab.Focus();

            return(pane);
        }
Beispiel #2
0
        private void Deploy(FileLink zipLocation)
        {
            var zipFolder = new LocalFolder(zipLocation.Folder);

            var outputResource = FolderResource.From("_deploy_");
            var outputFolder   = zipFolder.Then(outputResource);

            try
            {
                Deploy(outputFolder);

                zipFolder.Delete(zipLocation.Name, strict: false);

                Log.Info("[deploy] Zipping to {Location:l}", zipLocation);

                ZipFile.CreateFromDirectory(
                    outputFolder.Link.ToString(),
                    zipLocation.ToString(),
                    default(CompressionLevel),
                    includeBaseDirectory: false);
            }
            finally
            {
                outputFolder.Delete(strict: false);

                Log.Info("[deploy] Deleted temporary folder {Output:l}", outputResource);
            }
        }
Beispiel #3
0
        public ScriptResultPane AddTab(FileLink link)
        {
            ScriptResultPane pane;

            if (panes.ContainsKey(link))
            {
                pane = (ScriptResultPane)panes[link];
                tabControl.SelectedItem = pane.TabItem;
                return(pane);
            }

            pane = new ScriptResultPane(this)
            {
                Link = link
            };

            panes.Add(link, pane);

            string header = link.ToString();

            const int count = 20;

            if (header.Length > count)
            {
                header = header.Substring(0, count / 2) + "..." + header.Substring(header.Length - count / 2);
            }

            TabItem newTab = new TabItem
            {
                Header  = NewLabelImage(pane, header, "Close_16x16.png"),
                Content = pane,
                ToolTip = link.ToString(),
            };

            pane.TabItem = newTab;
            tabControl.Items.Add(newTab);
            tabControl.SelectedItem = newTab;

            pane.Focus();
            return(pane);
        }
Beispiel #4
0
        private string GetExtension()
        {
            string ext = System.IO.Path.GetExtension(FileLink.ToString()).ToLower();

            if (ext.Contains("pdf"))
            {
                return("PDF");
            }
            else if (ext.Contains("doc") || ext.Contains("docx"))
            {
                return("DOC");
            }
            else if (ext.Contains("ppt") || ext.Contains("pptx"))
            {
                return("PPT");
            }
            else
            {
                return(ext.ToUpper());
            }
        }
Beispiel #5
0
 public override string ToString() => fileLink.ToString();