Exemple #1
0
        private void Grid_KeyDown(object sender, KeyEventArgs e)
        {
            var Key = e.Key;

            if (e.Key == Key.Return || e.Key == Key.Enter)
            {
                Dispatcher.Invoke(() =>
                {
                    if (LastBlock == null || (string)LastBlock.Tag != "Input")
                    {
                        LastBlock               = new TextBox();
                        LastBlock.Background    = System.Windows.Media.Brushes.LightGreen;
                        LastBlock.Foreground    = System.Windows.Media.Brushes.Black;
                        LastBlock.Tag           = "Input";
                        LastBlock.TextAlignment = TextAlignment.Right;
                        LastBlock.Margin        = new Thickness(160, 0, 0, 0);

                        var DP = new DockPanel()
                        {
                            Width         = OutputArea.Width,
                            LastChildFill = true
                        };
                        DockPanel.SetDock(LastBlock, Dock.Right);
                        OutputArea.Children.Add(LastBlock);
                        var tb = new TextBlock()
                        {
                            Background = System.Windows.Media.Brushes.White
                        };
                        DockPanel.SetDock(tb, Dock.Left);
                        OutputArea.Children.Add(tb);
                    }
                    var cmdline     = InputArea.Text.Trim('\n');
                    LastBlock.Text += cmdline;
                    InputArea.Text  = "";
                    TheTerminal.StandardInput.WriteLine(cmdline);
                    SV.ScrollToEnd();
                    LastBlock.Width = cmdline.Length * 6;
                }
                                  );
            }
        }
Exemple #2
0
        private void TheTerminal_OutputDataReceived(object sender, DataReceivedEventArgs e)
        {
            var received = e.Data;

            Dispatcher.Invoke(() =>
            {
                if (LastBlock == null || (string)LastBlock.Tag != "Output")
                {
                    LastBlock = new TextBox()
                    {
                        Background    = System.Windows.Media.Brushes.White,
                        Foreground    = System.Windows.Media.Brushes.Black,
                        Tag           = "Output",
                        TextWrapping  = TextWrapping.Wrap,
                        AcceptsReturn = true
                    };
                    LastBlock.Margin = new Thickness(0, 0, 80, 0);
                    var DP           = new DockPanel()
                    {
                        LastChildFill = false
                    }
                    ;
                    DockPanel.SetDock(LastBlock, Dock.Left);
                    DP.Children.Add(LastBlock);
                    OutputArea.Children.Add(DP);
                    var tb = new TextBlock()
                    {
                        Background = System.Windows.Media.Brushes.White
                    };
                    DockPanel.SetDock(tb, Dock.Right);
                    OutputArea.Children.Add(tb);
                }
                LastBlock.Text += received + "\n";
                LastBlock.Width = LastBlock.Text.Split('\n').Max(p => p.Length) * 6;
                SV.ScrollToEnd();
            });
        }