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; }