public void Initialize (IPadWindow container)
{
view = new ConsoleView ();
view.ConsoleInput += OnViewConsoleInput;
Pango.FontDescription font = Pango.FontDescription.FromString (DesktopService.DefaultMonospaceFont);
view.SetFont (font);
view.ShadowType = Gtk.ShadowType.None;
view.ShowAll ();
}
public void Initialize (IPadWindow container)
{
view = new ConsoleView ();
view.ConsoleInput += OnViewConsoleInput;
view.SetFont (IdeApp.Preferences.CustomOutputPadFont);
view.ShadowType = Gtk.ShadowType.None;
view.ShowAll ();
IdeApp.Preferences.CustomOutputPadFontChanged += HandleCustomOutputPadFontChanged;
}
public void Initialize (IPadWindow container)
{
view = new ConsoleView ();
view.ConsoleInput += OnViewConsoleInput;
Pango.FontDescription font = Pango.FontDescription.FromString (DesktopService.DefaultMonospaceFont);
font.Size = (font.Size * 8) / 10;
view.SetFont (font);
view.ShadowType = Gtk.ShadowType.None;
view.ShowAll ();
DockItemToolbar toolbar = container.GetToolbar (Gtk.PositionType.Right);
DockToolButton buttonClear = new DockToolButton ("gtk-clear");
buttonClear.Clicked += ButtonClearClicked;
buttonClear.TooltipText = GettextCatalog.GetString ("Clear");
toolbar.Add (buttonClear);
toolbar.ShowAll ();
}
public void Initialize (IPadWindow container)
{
var fontName = IdeApp.Preferences.CustomOutputPadFont;
if (string.IsNullOrEmpty (fontName))
fontName = DesktopService.DefaultMonospaceFont;
customFont = Pango.FontDescription.FromString (fontName);
view = new ConsoleView ();
view.ConsoleInput += OnViewConsoleInput;
view.SetFont (customFont);
view.ShadowType = Gtk.ShadowType.None;
view.ShowAll ();
IdeApp.Preferences.CustomOutputPadFontChanged += HandleCustomOutputPadFontChanged;
}