/// <summary> /// Occurs when the reset font button is clicked. /// </summary> /// <param name="sender">The object where the event handler is attached.</param> /// <param name="e">The event data.</param> private void ResetFontClicked(object sender, RoutedEventArgs e) { var defaultTheme = ColorThemeData.CreateDefault(); this.customTheme.FontFamily = defaultTheme.FontFamily; this.customTheme.FontSize = defaultTheme.FontSize; var colorThemesDataSource = App.Current.Resources["colorThemesDataSource"] as ColorThemesDataSource; colorThemesDataSource.AddOrUpdate(this.customTheme); this.FontFamilyListBox.SelectedItem = this.customTheme.FontFamily; this.FontSizeSlider.Value = this.customTheme.FontSize; TerminalPageForceRender(fontChanged: true); }
/// <summary> /// Occurs when the reset colors button is clicked. /// </summary> /// <param name="sender">The object where the event handler is attached.</param> /// <param name="e">The event data.</param> private void ResetColorsClicked(object sender, RoutedEventArgs e) { var defaultTheme = ColorThemeData.CreateDefault(); for (int i = -4; i < 16; i++) { this.customTheme.ColorTable[(ScreenColor)i] = defaultTheme.ColorTable[(ScreenColor)i]; } var colorThemesDataSource = App.Current.Resources["colorThemesDataSource"] as ColorThemesDataSource; colorThemesDataSource.AddOrUpdate(this.customTheme); this.ScreenColorListBox_SelectionChanged(sender, null); TerminalPageForceRender(fontChanged: false); }
/// <summary> /// Initializes a new instance of the <see cref="ScreenDisplay"/> class. /// </summary> public ScreenDisplay() { this.rectangle = new Rectangle(); this.border = new Border() { Child = this.rectangle }; this.border.BorderBrush = new SolidColorBrush(Colors.Black); this.border.BorderThickness = new Thickness(2d); this.border.Background = new SolidColorBrush(Colors.Black); this.Content = border; this.IsTabStop = true; this.IsTapEnabled = true; this.ManipulationMode = ManipulationModes.TranslateY | ManipulationModes.TranslateInertia; this.ColorTheme = ColorThemeData.CreateDefault(); this.RecalculateFontMetrics(); this.deviceManager = new DeviceManager(); }