30 …             {CreateKey(Key.Home, ModifierKeys.Shift), () => terminal.MoveScrollbarToBeginning() },  in TerminalWidget()
31                 {CreateKey(Key.End, ModifierKeys.Shift), () => terminal.MoveScrollbarToEnd() },  in TerminalWidget()
32                 {CreateKey(Key.PageUp, ModifierKeys.Shift), () => terminal.PageUp() },  in TerminalWidget()
33                 {CreateKey(Key.PageDown, ModifierKeys.Shift), () => terminal.PageDown() },  in TerminalWidget()
34                 {CreateKey(Key.Up, ModifierKeys.Shift), () => terminal.LineUp() },  in TerminalWidget()
35                 {CreateKey(Key.Down, ModifierKeys.Shift), () => terminal.LineDown() },  in TerminalWidget()
45             terminal = new Terminal(focusProvider);  in TerminalWidget()
46             IOSource = new TerminalIOSource(terminal);  in TerminalWidget()
57             terminal.InnerMargin = new WidgetSpacing(5, 5, 5, 5);  in TerminalWidget()
58             terminal.Cursor.Enabled = true;  in TerminalWidget()
59             terminal.ContextMenu = CreatePopupMenu();  in TerminalWidget()
62             terminal.CurrentFont = Xwt.Drawing.Font.SystemMonospaceFont;  in TerminalWidget()
77                 font = terminal.CurrentFont;  in TerminalWidget()
79             terminal.CurrentFont = font.WithSize(defaultFontSize);  in TerminalWidget()
83                 terminal.AppendRow(new ImageRow(Image.FromResource("logo.png"), 3), true);  in TerminalWidget()
87             terminal.AppendRow(new MonospaceTextRow(""));  in TerminalWidget()
91                 terminal.ClearSelection();  in TerminalWidget()
92                 terminal.MoveScrollbarToEnd();  in TerminalWidget()
96             terminal.ButtonPressed += (s, a) =>  in TerminalWidget()
105             terminal.KeyPressed += (s, a) =>  in TerminalWidget()
128             Content = terminal;  in TerminalWidget()
133             terminal.Clear();  in Clear()
146                 terminal.Initialized += value;
150                 terminal.Initialized -= value;
163             foreach(var menuItem in terminal.ContextMenu.Items)  in Close()
171             terminal.Close();  in Close()
178 …  var availableScreenSize = terminal.ScreenSize + terminal.InnerMarginBottom - MinimalBottomMargin;  in OnBoundsChanged()
179                 var rowHeight = terminal.GetScreenRow(0).LineHeight;  in OnBoundsChanged()
182 …terminal.InnerMarginBottom = Math.Floor(availableScreenSize - desiredScreenSize + MinimalBottomMar…  in OnBoundsChanged()
235         private Terminal terminal;  field in Antmicro.Renode.UI.TerminalWidget