diff options
author | Vsevolod Kukol <sevoku@xamarin.com> | 2016-05-31 10:30:37 +0300 |
---|---|---|
committer | Vsevolod Kukol <sevoku@xamarin.com> | 2016-06-01 18:40:52 +0300 |
commit | 1169e6fbd6be4db7fc2ab96505099abcc16023db (patch) | |
tree | 3e58701a5e7e3803182f562cda4d9e752e420e81 /main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.OptionPanels/MonoRuntimePanel.cs | |
parent | 2d59d0e4aab450fd268e852a750d7d01bbc10110 (diff) |
[Ide] Optimize line heights in runtime option panel
Use a Gtk.TextView with pango markup instead
of a Gtk.Label, which does not allow to adjust
its line heights.
Diffstat (limited to 'main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.OptionPanels/MonoRuntimePanel.cs')
-rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.OptionPanels/MonoRuntimePanel.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.OptionPanels/MonoRuntimePanel.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.OptionPanels/MonoRuntimePanel.cs index fd70f5f9b0..bb4eeb7d7a 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.OptionPanels/MonoRuntimePanel.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.OptionPanels/MonoRuntimePanel.cs @@ -65,6 +65,8 @@ namespace MonoDevelop.Ide.Gui.OptionPanels { this.Build(); + textview1.SetMarkup (textview1.Buffer.Text); + labelRunning.Markup = GettextCatalog.GetString ( "{0} is currently running on <b>{1}</b>.", BrandingService.ApplicationName, |