コード例 #1
0
ファイル: shell.py プロジェクト: eloff/silvershell
    def initialize(self):
        prefs = Preferences

        self.ignore_text_changed = False

        g = self.root = wpf.Grid()

        cd = wpf.ColumnDefinition()
        cd.Width = wpf.GridLength(1, wpf.GridUnitType.Star)
        g.ColumnDefinitions.Add(cd)
        cd = wpf.ColumnDefinition()
        cd.Width = wpf.GridLength(0, wpf.GridUnitType.Auto)
        g.ColumnDefinitions.Add(cd)

        self.canvas = wpf.Create(
            wpf.Canvas,
            Grid_Row=0,
            Grid_Column=1,
            Background=wpf.brush(wpf.Colors.White),
            Margin=wpf.Thickness(5, 0, 0, 0),
        )
        g.Children.Add(self.canvas)

        self.sv = wpf.Create(wpf.ScrollViewer, Grid_Row=0, Grid_Column=0, Padding=wpf.Thickness(5))
        g.Children.Add(self.sv)

        g.Children.Add(
            wpf.Create(
                wpf.GridSplitter,
                Grid_Row=0,
                Grid_Column=1,
                Width=5,
                HorizontalAlignment=wpf.HorizontalAlignment.Left,
                VerticalAlignment=wpf.VerticalAlignment.Stretch,
                Background=wpf.brush(wpf.Colors.MidnightBlue),
            )
        )

        prefs.apply_to(g, "BackgroundImage", "Background")
        prefs.apply_to(self.sv, "BackgroundMask", "Background")

        g = self.sv.Content = wpf.Grid()

        rd = wpf.RowDefinition()
        rd.Height = wpf.GridLength(0, wpf.GridUnitType.Auto)
        g.RowDefinitions.Add(rd)
        rd = wpf.RowDefinition()
        rd.Height = wpf.GridLength(1, wpf.GridUnitType.Auto)
        g.RowDefinitions.Add(rd)

        cd = wpf.ColumnDefinition()
        cd.Width = wpf.GridLength(0, wpf.GridUnitType.Auto)
        g.ColumnDefinitions.Add(cd)
        cd = wpf.ColumnDefinition()
        cd.Width = wpf.GridLength(1, wpf.GridUnitType.Star)
        g.ColumnDefinitions.Add(cd)

        self.buffer = wpf.TextBox()
        self.prompt = wpf.TextBox()
        self.ps = wpf.TextBlock()
        self.ps.Text = sys.ps1

        self.buffer.AcceptsReturn = self.prompt.AcceptsReturn = True
        self.buffer.TextWrapping = wpf.TextWrapping.Wrap
        self.buffer.IsReadOnly = True

        if sys.platform == "silverlight":
            self.prompt.SelectionForeground = self.buffer.SelectionForeground = wpf.brush("#000000")
            self.prompt.SelectionBackground = self.buffer.SelectionBackground = wpf.brush("#00ffff")
        else:
            self.ps.Margin = wpf.Thickness(2, 0, 0, 0)

        prefs.apply_style_to(self.buffer, "TextBoxStyle")
        prefs.apply_style_to(self.prompt, "TextBoxStyle")

        for tbx in (self.buffer, self.prompt, self.ps):
            prefs.apply_to(tbx, "FontSize")
            prefs.apply_to(tbx, "FontFamily")
            prefs.apply_to(tbx, "FontWeight")
            prefs.apply_to(tbx, "Foreground")

        wpf.Grid.SetColumn(self.buffer, 0)
        wpf.Grid.SetColumnSpan(self.buffer, 2)
        wpf.Grid.SetRow(self.buffer, 0)
        g.Children.Add(self.buffer)

        wpf.Grid.SetColumn(self.ps, 0)
        wpf.Grid.SetRow(self.ps, 1)
        g.Children.Add(self.ps)

        wpf.Grid.SetColumn(self.prompt, 1)
        wpf.Grid.SetRow(self.prompt, 1)
        g.Children.Add(self.prompt)

        pnl = wpf.Create(
            wpf.StackPanel,
            Grid_Row=0,
            Grid_Column=1,
            Orientation=wpf.Orientation.Vertical,
            HorizontalAlignment=wpf.HorizontalAlignment.Right,
            VerticalAlignment=wpf.VerticalAlignment.Top,
        )

        btn = wpf.Create(wpf.Button, Content="Preferences")
        prefs.apply_style_to(btn, "ButtonStyle")
        btn.Click += self.OnPreferencesClick
        pnl.Children.Add(btn)

        btn = wpf.Create(wpf.Button, Content=("Background Thread" if prefs.BackgroundExecution else "UI Thread"))
        prefs.apply_style_to(btn, "ButtonStyle")
        btn.Click += self.OnChangeThread
        pnl.Children.Add(btn)

        g.Children.Add(pnl)

        self.redirect_stdstreams()

        self.cursor = Cursor(self.prompt, self.sv)

        self.intellisense = Intellisense(self.engine, self.prompt)  # Must come before other KeyDown handlers
        if sys.platform == "cli":
            self.prompt.PreviewKeyDown += self.OnKeyDown
        else:
            self.prompt.KeyDown += self.OnKeyDown

        self.prompt.TextChanged += self.OnTextChanged
コード例 #2
0
ファイル: shell.py プロジェクト: eloff/silvershell
class SilverShell(object):
    def __init__(self):
        self.engine = SilverShellEngine()

        self.initialize()

        self.engine.namespace["canvas"] = self.canvas
        self.engine.write_banner()

        self.engine.Reset += self.OnEngineReset
        Preferences.Changed += self.OnPreferencesChanged

    def initialize(self):
        prefs = Preferences

        self.ignore_text_changed = False

        g = self.root = wpf.Grid()

        cd = wpf.ColumnDefinition()
        cd.Width = wpf.GridLength(1, wpf.GridUnitType.Star)
        g.ColumnDefinitions.Add(cd)
        cd = wpf.ColumnDefinition()
        cd.Width = wpf.GridLength(0, wpf.GridUnitType.Auto)
        g.ColumnDefinitions.Add(cd)

        self.canvas = wpf.Create(
            wpf.Canvas,
            Grid_Row=0,
            Grid_Column=1,
            Background=wpf.brush(wpf.Colors.White),
            Margin=wpf.Thickness(5, 0, 0, 0),
        )
        g.Children.Add(self.canvas)

        self.sv = wpf.Create(wpf.ScrollViewer, Grid_Row=0, Grid_Column=0, Padding=wpf.Thickness(5))
        g.Children.Add(self.sv)

        g.Children.Add(
            wpf.Create(
                wpf.GridSplitter,
                Grid_Row=0,
                Grid_Column=1,
                Width=5,
                HorizontalAlignment=wpf.HorizontalAlignment.Left,
                VerticalAlignment=wpf.VerticalAlignment.Stretch,
                Background=wpf.brush(wpf.Colors.MidnightBlue),
            )
        )

        prefs.apply_to(g, "BackgroundImage", "Background")
        prefs.apply_to(self.sv, "BackgroundMask", "Background")

        g = self.sv.Content = wpf.Grid()

        rd = wpf.RowDefinition()
        rd.Height = wpf.GridLength(0, wpf.GridUnitType.Auto)
        g.RowDefinitions.Add(rd)
        rd = wpf.RowDefinition()
        rd.Height = wpf.GridLength(1, wpf.GridUnitType.Auto)
        g.RowDefinitions.Add(rd)

        cd = wpf.ColumnDefinition()
        cd.Width = wpf.GridLength(0, wpf.GridUnitType.Auto)
        g.ColumnDefinitions.Add(cd)
        cd = wpf.ColumnDefinition()
        cd.Width = wpf.GridLength(1, wpf.GridUnitType.Star)
        g.ColumnDefinitions.Add(cd)

        self.buffer = wpf.TextBox()
        self.prompt = wpf.TextBox()
        self.ps = wpf.TextBlock()
        self.ps.Text = sys.ps1

        self.buffer.AcceptsReturn = self.prompt.AcceptsReturn = True
        self.buffer.TextWrapping = wpf.TextWrapping.Wrap
        self.buffer.IsReadOnly = True

        if sys.platform == "silverlight":
            self.prompt.SelectionForeground = self.buffer.SelectionForeground = wpf.brush("#000000")
            self.prompt.SelectionBackground = self.buffer.SelectionBackground = wpf.brush("#00ffff")
        else:
            self.ps.Margin = wpf.Thickness(2, 0, 0, 0)

        prefs.apply_style_to(self.buffer, "TextBoxStyle")
        prefs.apply_style_to(self.prompt, "TextBoxStyle")

        for tbx in (self.buffer, self.prompt, self.ps):
            prefs.apply_to(tbx, "FontSize")
            prefs.apply_to(tbx, "FontFamily")
            prefs.apply_to(tbx, "FontWeight")
            prefs.apply_to(tbx, "Foreground")

        wpf.Grid.SetColumn(self.buffer, 0)
        wpf.Grid.SetColumnSpan(self.buffer, 2)
        wpf.Grid.SetRow(self.buffer, 0)
        g.Children.Add(self.buffer)

        wpf.Grid.SetColumn(self.ps, 0)
        wpf.Grid.SetRow(self.ps, 1)
        g.Children.Add(self.ps)

        wpf.Grid.SetColumn(self.prompt, 1)
        wpf.Grid.SetRow(self.prompt, 1)
        g.Children.Add(self.prompt)

        pnl = wpf.Create(
            wpf.StackPanel,
            Grid_Row=0,
            Grid_Column=1,
            Orientation=wpf.Orientation.Vertical,
            HorizontalAlignment=wpf.HorizontalAlignment.Right,
            VerticalAlignment=wpf.VerticalAlignment.Top,
        )

        btn = wpf.Create(wpf.Button, Content="Preferences")
        prefs.apply_style_to(btn, "ButtonStyle")
        btn.Click += self.OnPreferencesClick
        pnl.Children.Add(btn)

        btn = wpf.Create(wpf.Button, Content=("Background Thread" if prefs.BackgroundExecution else "UI Thread"))
        prefs.apply_style_to(btn, "ButtonStyle")
        btn.Click += self.OnChangeThread
        pnl.Children.Add(btn)

        g.Children.Add(pnl)

        self.redirect_stdstreams()

        self.cursor = Cursor(self.prompt, self.sv)

        self.intellisense = Intellisense(self.engine, self.prompt)  # Must come before other KeyDown handlers
        if sys.platform == "cli":
            self.prompt.PreviewKeyDown += self.OnKeyDown
        else:
            self.prompt.KeyDown += self.OnKeyDown

        self.prompt.TextChanged += self.OnTextChanged

    def Dispose(self):
        self.cursor.Dispose()
        self.intellisense.Dispose()

    def redirect_stdstreams(self):
        self.engine.strm = sys.stdout = TextBoxStream(self.buffer)
        sys.stderr = sys.stdout  # comment this out to see exceptions at system console

    def start(self):
        self.ps.Text = sys.ps1
        self.prompt.Text = ""
        self.prompt.Focus()

    def scroll_to_bottom(self):
        self.sv.UpdateLayout()
        if self.sv.ViewportHeight:
            self.sv.ScrollToVerticalOffset(self.sv.ScrollableHeight)

    def fix_paste(self):
        l = []
        for line in self.prompt.Text.splitlines():
            if line.startswith((sys.ps1, sys.ps2)):
                line = line[4:]

            l.append(line)

        self.prompt.Text = "\n".join(l)
        self.prompt.SelectionStart = len(self.prompt.Text)

    def indent(self):
        pos, end, line = self.get_current_line()
        # Don't insert indentation unless we're at the beginning of the line
        if not self.prompt.Text[end - len(line) : pos].strip():
            self.prompt.Text = self.prompt.Text[:pos] + " " * 4 + self.prompt.Text[pos:]
            self.prompt.SelectionStart = pos + 4

    def get_current_line(self):
        return utils.get_current_line(self.prompt)

    def history(self, delta=None):
        pos, end, line = self.get_current_line()
        # Don't insert a history item unless we're at an empty line, or the line is located in history
        if delta is not None and line.strip() and line.lstrip() not in self.engine.history:
            return False
        else:
            # Preserve the indentation
            indent = line[: -len(line.lstrip())] if line.strip() else line
            start = end - len(line)
            if delta is None:
                try:
                    history = self.engine.history.find(line)
                except ValueError:
                    return True
            else:
                history = self.engine.history.go(delta)

            line = indent + history
            self.prompt.Text = self.prompt.Text[:start] + line + self.prompt.Text[end:]
            self.prompt.SelectionStart = start + len(line)
            return True

    def clear_prompt(self):
        self.prompt.Text = ""
        self.ps.Text = sys.ps1
        self.scroll_to_bottom()
        self.cursor.update()

    def continue_prompt(self):
        self.ignore_text_changed = True
        self.ps.Text += "\n" + sys.ps2
        pos = self.prompt.SelectionStart
        self.prompt.Text = self.prompt.Text[:pos] + "\n" + " " * 4 + self.prompt.Text[pos:]
        self.prompt.SelectionStart = pos + 5
        self.scroll_to_bottom()
        self.ignore_text_changed = False

    def interpret(self):
        if not self.engine.run(self.prompt.Text):
            self.clear_prompt()
        else:
            self.continue_prompt()

    def OnEngineReset(self, sender, e):
        sys.stdout.reset()
        self.engine.namespace["canvas"] = self.canvas
        self.start()

    def OnKeyDown(self, sender, e):
        if e.Key == wpf.Key.Enter:
            self.interpret()
            e.Handled = True  # we insert the newline ourselves
        elif e.Key == wpf.Key.Up:
            e.Handled = self.history(-1)
        elif e.Key == wpf.Key.Down:
            e.Handled = self.history(1)
        elif e.Key == wpf.Key.Tab:
            if wpf.Keyboard.Modifiers & wpf.ModifierKeys.Shift:
                e.Handled = self.history()
            else:
                e.Handled = self.intellisense.complete()
                if not e.Handled:
                    self.indent()
                    e.Handled = True

    def OnTextChanged(self, sender, e):
        if not self.ignore_text_changed:
            num_lines = self.prompt.Text.count("\n") + 1
            ps_lines = self.ps.Text.count("\n") + 1
            if num_lines != ps_lines:
                self.ps.Text = "\n".join(
                    itertools.islice(itertools.chain(self.ps.Text.splitlines(), itertools.repeat(sys.ps2)), num_lines)
                )

                if num_lines > ps_lines:
                    # Maybe a paste, so we have to remove prompts and normalize newlines
                    self.fix_paste()

    def OnPreferencesClick(self, sender, e):
        Preferences.show()

    def OnChangeThread(self, sender, e):
        if sender.Content == "UI Thread":
            sender.Content = "Background Thread"
            self.engine.use_background_thread()
        else:
            sender.Content = "UI Thread"
            self.engine.use_ui_thread()

    def OnPreferencesChanged(self, sender, e):
        parent = self.root.Parent
        self.Dispose()
        self.initialize()
        wpf.LogicalTree.SetContent(parent, self.root)
        self.engine.reset()

    def GetVisualRoot(self):
        return self.root