* MonoDevelop.Ide.FindInFiles/Scope.cs:

* MonoDevelop.Ide.FindInFiles/FindReplace.cs:
* MonoDevelop.Ide.FindInFiles/FindInFilesDialog.cs: Make better use of
  progress monitors. Use it to log the directories being searched.

* MonoDevelop.Ide.Gui/Workbench.cs:
* MonoDevelop.Ide.Tasks/TaskStore.cs:
* MonoDevelop.Ide.Tasks/TaskService.cs:
* MonoDevelop.Ide.Commands/ViewCommands.cs:
* MonoDevelop.Ide.Gui.Pads/ILocationListPad.cs:
* MonoDevelop.Ide.FindInFiles/SearchResultPad.cs:
* MonoDevelop.Ide.Gui/TextFileNavigationPoint.cs:
* MonoDevelop.Ide.FindInFiles/SearchResultWidget.cs: Improved Show
  Next/Previous command (F4). The list on which the command works now
  has to be explicitly set using the
  IdeApp.Workbench.ActiveLocationList.

* Makefile.am:
* MonoDevelop.Ide.csproj: Added new files.

* MonoDevelop.Ide.Commands/NavigationCommands.cs: Some api changes.

* MonoDevelop.Ide.Gui.Pads/FileScout.cs:
* MonoDevelop.Ide.Tasks/ITaskListView.cs:
* MonoDevelop.Ide.Tasks/UserTasksView.cs:
* MonoDevelop.Ide.Gui.Pads/TaskListPad.cs:
* MonoDevelop.Ide.Tasks/CommentTasksView.cs:
* MonoDevelop.Ide.Gui.Pads/InternalLogPad.cs:
* MonoDevelop.Ide.Gui.Pads.ClassPad/ClassBrowserPad.cs:
* MonoDevelop.Ide.Gui.Pads.ClassPad/ClassBrowserPadWidget.cs: Use the
  new DockItemToolbar for showing toolbar commands.

* MonoDevelop.Ide.Gui.Components/LogView.cs:
* MonoDevelop.Ide.Gui.Pads/DefaultMonitorPad.cs: Factorized the widget
  which shows log from an IProgressMonitor from DefaultMonitorPad into
  the new LogView widget.

* MonoDevelop.Ide.Gui/ProjectOperations.cs:
* MonoDevelop.Ide.Gui.Pads/ErrorListPad.cs: Use the new
  DockItemToolbar for showing toolbar commands. Integrated the output
  pad into the errors list pad.

* MonoDevelop.Ide.Gui/IdePreferences.cs:
* MonoDevelop.Ide.Gui.OptionPanels/IDEStyleOptionsPanel.cs:
* gtk-gui/MonoDevelop.Ide.Gui.OptionPanels.IDEStyleOptionsPanelWidget.cs:
  Added option for selection the GUI compactness.

* MonoDevelop.Ide.Gui.OptionPanels/BuildMessagePanel.cs:
* gtk-gui/MonoDevelop.Ide.Gui.OptionPanels.BuildMessagePanelWidget.cs:
  Removed option for showing the build output pad, since it is now
  integrated into the errors pad.

* MonoDevelop.Ide.addin.xml: Show the errors pad minimized by default.

* gtk-gui/gui.stetic: Updated.

* MonoDevelop.Ide.Gui/HiddenWorkbenchWindow.cs: Fix warning.

* MonoDevelop.Ide.Gui/OutputProgressMonitor.cs: Factorized into the
  new LogView widget.

* MonoDevelop.Ide.Gui/DocumentNavigationPoint.cs:
* MonoDevelop.Ide.Gui/NavigationHistoryService.cs: Changed the api to
  be able to make the NavigationPoint class more reusable. It is now
  being used by the Show Next/Previous infrastructure.

* MonoDevelop.Ide.Gui/MonoDevelopStatusBar.cs: Embed the bottom dock
  bar.

* MonoDevelop.Ide.Gui/IPadContainer.cs: Added flags for setting a pad
  as Working, HasErrors and HasNewData.

* MonoDevelop.Ide.Gui/IWorkbench.cs:
* MonoDevelop.Ide.Gui/IWorkbenchLayout.cs:
* MonoDevelop.Ide.Gui/DefaultWorkbench.cs:
* MonoDevelop.Ide.Gui/SdiWorkspaceWindow.cs: Removed IWorkbech and
  IWorkbenchLayout interfaces, which are internal and not required
  anymore.

* MonoDevelop.Ide.Gui/SdiWorkspaceLayout.cs: Track misc api changes.
  Implement the new IPadWindow.IsWorking, HasErrors and HasNewData
  properties.

* MonoDevelop.Ide.Gui/ProgressMonitors.cs: By default, autohide
  dynamically created output pads. The build progress monitor now
  shows the log in the errors list pad. Don't use spaces in the output
  pad ids, since it may break serialization into xml.

* MonoDevelop.Ide.Gui/Pad.cs: Track class name changes.

* MonoDevelop.Ide.Gui/DockItemToolbarLoader.cs: New utility class with
  extension methods which allows loading a docking toolbar from a
  command entry set.

* MonoDevelop.Ide.Codons/PadCodon.cs: Allow setting a default status
  for a pad (e.g. auto hide). Allow setting a custom widget as label
  to show when the pad is in autohide mode.

* MonoDevelop.Ide.Gui/SideBar.cs: New layout switcher. Not yet used.

* MonoDevelop.Ide.Gui/WorkbenchWindow.cs: New base class for the root
  workbench window.

* MonoDevelop.Ide.Gui/WorkbenchContext.cs: File renamed from
  IWorkspace.

svn path=/trunk/monodevelop/; revision=153243

3 files changed, 319 insertions, 353 deletions

diff --git a/main/src/core/MonoDevelop.Ide/gtk-gui/MonoDevelop.Ide.Gui.OptionPanels.BuildMessagePanelWidget.cs b/main/src/core/MonoDevelop.Ide/gtk-gui/MonoDevelop.Ide.Gui.OptionPanels.BuildMessagePanelWidget.cs
index c764e18400..b570e227b3 100644
--- a/main/src/core/MonoDevelop.Ide/gtk-gui/MonoDevelop.Ide.Gui.OptionPanels.BuildMessagePanelWidget.cs
+++ b/main/src/core/MonoDevelop.Ide/gtk-gui/MonoDevelop.Ide.Gui.OptionPanels.BuildMessagePanelWidget.cs
@@ -6,31 +6,19 @@ namespace MonoDevelop.Ide.Gui.OptionPanels
 	{
 		private global::Gtk.VBox vbox1;
 
-		private global::Gtk.HBox hbox1;
-
-		private global::Gtk.Label label6;
-
-		private global::Gtk.ComboBox comboboxJumpToFirst;
-
-		private global::Gtk.Frame frame2;
-
-		private global::Gtk.Alignment GtkAlignment;
-
 		private global::Gtk.Table table4;
 
-		private global::Gtk.ComboBox comboboxBuildResultsAfter;
-
 		private global::Gtk.ComboBox comboboxErrorPadAfter;
 
-		private global::Gtk.ComboBox comboboxMessageBubbles;
+		private global::Gtk.ComboBox comboboxJumpToFirst;
 
-		private global::Gtk.Label label2;
+		private global::Gtk.ComboBox comboboxMessageBubbles;
 
 		private global::Gtk.Label label3;
 
 		private global::Gtk.Label label5;
 
-		private global::Gtk.Label GtkLabel;
+		private global::Gtk.Label label6;
 
 		private global::Gtk.HBox hbox4;
 
@@ -47,124 +35,83 @@ namespace MonoDevelop.Ide.Gui.OptionPanels
 			this.vbox1.Name = "vbox1";
 			this.vbox1.Spacing = 6;
 			// Container child vbox1.Gtk.Box+BoxChild
-			this.hbox1 = new global::Gtk.HBox ();
-			this.hbox1.Name = "hbox1";
-			this.hbox1.Spacing = 6;
-			// Container child hbox1.Gtk.Box+BoxChild
-			this.label6 = new global::Gtk.Label ();
-			this.label6.Name = "label6";
-			this.label6.Xalign = 0f;
-			this.label6.LabelProp = global::Mono.Unix.Catalog.GetString ("Jump to first error or warning:");
-			this.hbox1.Add (this.label6);
-			global::Gtk.Box.BoxChild w1 = ((global::Gtk.Box.BoxChild)(this.hbox1[this.label6]));
-			w1.Position = 0;
-			w1.Expand = false;
-			w1.Fill = false;
-			// Container child hbox1.Gtk.Box+BoxChild
-			this.comboboxJumpToFirst = global::Gtk.ComboBox.NewText ();
-			this.comboboxJumpToFirst.AppendText (global::Mono.Unix.Catalog.GetString ("Never"));
-			this.comboboxJumpToFirst.Name = "comboboxJumpToFirst";
-			this.comboboxJumpToFirst.Active = 0;
-			this.hbox1.Add (this.comboboxJumpToFirst);
-			global::Gtk.Box.BoxChild w2 = ((global::Gtk.Box.BoxChild)(this.hbox1[this.comboboxJumpToFirst]));
-			w2.Position = 1;
-			this.vbox1.Add (this.hbox1);
-			global::Gtk.Box.BoxChild w3 = ((global::Gtk.Box.BoxChild)(this.vbox1[this.hbox1]));
-			w3.Position = 0;
-			w3.Expand = false;
-			w3.Fill = false;
-			// Container child vbox1.Gtk.Box+BoxChild
-			this.frame2 = new global::Gtk.Frame ();
-			this.frame2.Name = "frame2";
-			this.frame2.ShadowType = ((global::Gtk.ShadowType)(0));
-			// Container child frame2.Gtk.Container+ContainerChild
-			this.GtkAlignment = new global::Gtk.Alignment (0f, 0f, 1f, 1f);
-			this.GtkAlignment.Name = "GtkAlignment";
-			this.GtkAlignment.LeftPadding = ((uint)(12));
-			// Container child GtkAlignment.Gtk.Container+ContainerChild
 			this.table4 = new global::Gtk.Table (((uint)(3)), ((uint)(2)), false);
 			this.table4.Name = "table4";
 			this.table4.RowSpacing = ((uint)(6));
 			this.table4.ColumnSpacing = ((uint)(6));
 			// Container child table4.Gtk.Table+TableChild
-			this.comboboxBuildResultsAfter = global::Gtk.ComboBox.NewText ();
-			this.comboboxBuildResultsAfter.AppendText (global::Mono.Unix.Catalog.GetString ("Never"));
-			this.comboboxBuildResultsAfter.Name = "comboboxBuildResultsAfter";
-			this.comboboxBuildResultsAfter.Active = 0;
-			this.table4.Add (this.comboboxBuildResultsAfter);
-			global::Gtk.Table.TableChild w4 = ((global::Gtk.Table.TableChild)(this.table4[this.comboboxBuildResultsAfter]));
-			w4.LeftAttach = ((uint)(1));
-			w4.RightAttach = ((uint)(2));
-			w4.YOptions = ((global::Gtk.AttachOptions)(4));
-			// Container child table4.Gtk.Table+TableChild
 			this.comboboxErrorPadAfter = global::Gtk.ComboBox.NewText ();
 			this.comboboxErrorPadAfter.AppendText (global::Mono.Unix.Catalog.GetString ("Never"));
 			this.comboboxErrorPadAfter.Name = "comboboxErrorPadAfter";
 			this.comboboxErrorPadAfter.Active = 0;
 			this.table4.Add (this.comboboxErrorPadAfter);
-			global::Gtk.Table.TableChild w5 = ((global::Gtk.Table.TableChild)(this.table4[this.comboboxErrorPadAfter]));
-			w5.TopAttach = ((uint)(1));
-			w5.BottomAttach = ((uint)(2));
-			w5.LeftAttach = ((uint)(1));
-			w5.RightAttach = ((uint)(2));
-			w5.XOptions = ((global::Gtk.AttachOptions)(4));
-			w5.YOptions = ((global::Gtk.AttachOptions)(4));
+			global::Gtk.Table.TableChild w1 = ((global::Gtk.Table.TableChild)(this.table4[this.comboboxErrorPadAfter]));
+			w1.TopAttach = ((uint)(1));
+			w1.BottomAttach = ((uint)(2));
+			w1.LeftAttach = ((uint)(1));
+			w1.RightAttach = ((uint)(2));
+			w1.XOptions = ((global::Gtk.AttachOptions)(4));
+			w1.YOptions = ((global::Gtk.AttachOptions)(4));
+			// Container child table4.Gtk.Table+TableChild
+			this.comboboxJumpToFirst = global::Gtk.ComboBox.NewText ();
+			this.comboboxJumpToFirst.AppendText (global::Mono.Unix.Catalog.GetString ("Never"));
+			this.comboboxJumpToFirst.Name = "comboboxJumpToFirst";
+			this.comboboxJumpToFirst.Active = 0;
+			this.table4.Add (this.comboboxJumpToFirst);
+			global::Gtk.Table.TableChild w2 = ((global::Gtk.Table.TableChild)(this.table4[this.comboboxJumpToFirst]));
+			w2.LeftAttach = ((uint)(1));
+			w2.RightAttach = ((uint)(2));
+			w2.XOptions = ((global::Gtk.AttachOptions)(4));
+			w2.YOptions = ((global::Gtk.AttachOptions)(4));
 			// Container child table4.Gtk.Table+TableChild
 			this.comboboxMessageBubbles = global::Gtk.ComboBox.NewText ();
 			this.comboboxMessageBubbles.AppendText (global::Mono.Unix.Catalog.GetString ("Never"));
 			this.comboboxMessageBubbles.Name = "comboboxMessageBubbles";
 			this.comboboxMessageBubbles.Active = 0;
 			this.table4.Add (this.comboboxMessageBubbles);
-			global::Gtk.Table.TableChild w6 = ((global::Gtk.Table.TableChild)(this.table4[this.comboboxMessageBubbles]));
-			w6.TopAttach = ((uint)(2));
-			w6.BottomAttach = ((uint)(3));
-			w6.LeftAttach = ((uint)(1));
-			w6.RightAttach = ((uint)(2));
-			w6.XOptions = ((global::Gtk.AttachOptions)(4));
-			w6.YOptions = ((global::Gtk.AttachOptions)(4));
-			// Container child table4.Gtk.Table+TableChild
-			this.label2 = new global::Gtk.Label ();
-			this.label2.Name = "label2";
-			this.label2.Xalign = 1f;
-			this.label2.LabelProp = global::Mono.Unix.Catalog.GetString ("Show build result:");
-			this.table4.Add (this.label2);
-			global::Gtk.Table.TableChild w7 = ((global::Gtk.Table.TableChild)(this.table4[this.label2]));
-			w7.XOptions = ((global::Gtk.AttachOptions)(4));
-			w7.YOptions = ((global::Gtk.AttachOptions)(4));
+			global::Gtk.Table.TableChild w3 = ((global::Gtk.Table.TableChild)(this.table4[this.comboboxMessageBubbles]));
+			w3.TopAttach = ((uint)(2));
+			w3.BottomAttach = ((uint)(3));
+			w3.LeftAttach = ((uint)(1));
+			w3.RightAttach = ((uint)(2));
+			w3.XOptions = ((global::Gtk.AttachOptions)(4));
+			w3.YOptions = ((global::Gtk.AttachOptions)(4));
 			// Container child table4.Gtk.Table+TableChild
 			this.label3 = new global::Gtk.Label ();
 			this.label3.Name = "label3";
-			this.label3.Xalign = 1f;
+			this.label3.Xalign = 0f;
 			this.label3.LabelProp = global::Mono.Unix.Catalog.GetString ("Show error pad:");
 			this.table4.Add (this.label3);
-			global::Gtk.Table.TableChild w8 = ((global::Gtk.Table.TableChild)(this.table4[this.label3]));
-			w8.TopAttach = ((uint)(1));
-			w8.BottomAttach = ((uint)(2));
-			w8.XOptions = ((global::Gtk.AttachOptions)(4));
-			w8.YOptions = ((global::Gtk.AttachOptions)(4));
+			global::Gtk.Table.TableChild w4 = ((global::Gtk.Table.TableChild)(this.table4[this.label3]));
+			w4.TopAttach = ((uint)(1));
+			w4.BottomAttach = ((uint)(2));
+			w4.XOptions = ((global::Gtk.AttachOptions)(4));
+			w4.YOptions = ((global::Gtk.AttachOptions)(4));
 			// Container child table4.Gtk.Table+TableChild
 			this.label5 = new global::Gtk.Label ();
 			this.label5.Name = "label5";
-			this.label5.Xalign = 1f;
+			this.label5.Xalign = 0f;
 			this.label5.LabelProp = global::Mono.Unix.Catalog.GetString ("Show message bubbles:");
 			this.table4.Add (this.label5);
-			global::Gtk.Table.TableChild w9 = ((global::Gtk.Table.TableChild)(this.table4[this.label5]));
-			w9.TopAttach = ((uint)(2));
-			w9.BottomAttach = ((uint)(3));
-			w9.XOptions = ((global::Gtk.AttachOptions)(4));
-			w9.YOptions = ((global::Gtk.AttachOptions)(4));
-			this.GtkAlignment.Add (this.table4);
-			this.frame2.Add (this.GtkAlignment);
-			this.GtkLabel = new global::Gtk.Label ();
-			this.GtkLabel.Name = "GtkLabel";
-			this.GtkLabel.LabelProp = global::Mono.Unix.Catalog.GetString ("<b>Compilation result</b>");
-			this.GtkLabel.UseMarkup = true;
-			this.frame2.LabelWidget = this.GtkLabel;
-			this.vbox1.Add (this.frame2);
-			global::Gtk.Box.BoxChild w12 = ((global::Gtk.Box.BoxChild)(this.vbox1[this.frame2]));
-			w12.Position = 1;
-			w12.Expand = false;
-			w12.Fill = false;
+			global::Gtk.Table.TableChild w5 = ((global::Gtk.Table.TableChild)(this.table4[this.label5]));
+			w5.TopAttach = ((uint)(2));
+			w5.BottomAttach = ((uint)(3));
+			w5.XOptions = ((global::Gtk.AttachOptions)(4));
+			w5.YOptions = ((global::Gtk.AttachOptions)(4));
+			// Container child table4.Gtk.Table+TableChild
+			this.label6 = new global::Gtk.Label ();
+			this.label6.Name = "label6";
+			this.label6.Xalign = 0f;
+			this.label6.LabelProp = global::Mono.Unix.Catalog.GetString ("Jump to first error or warning:");
+			this.table4.Add (this.label6);
+			global::Gtk.Table.TableChild w6 = ((global::Gtk.Table.TableChild)(this.table4[this.label6]));
+			w6.XOptions = ((global::Gtk.AttachOptions)(4));
+			w6.YOptions = ((global::Gtk.AttachOptions)(4));
+			this.vbox1.Add (this.table4);
+			global::Gtk.Box.BoxChild w7 = ((global::Gtk.Box.BoxChild)(this.vbox1[this.table4]));
+			w7.Position = 0;
+			w7.Expand = false;
+			w7.Fill = false;
 			// Container child vbox1.Gtk.Box+BoxChild
 			this.hbox4 = new global::Gtk.HBox ();
 			this.hbox4.Name = "hbox4";
@@ -174,15 +121,15 @@ namespace MonoDevelop.Ide.Gui.OptionPanels
 			this.label10.Name = "label10";
 			this.label10.LabelProp = global::Mono.Unix.Catalog.GetString ("    ");
 			this.hbox4.Add (this.label10);
-			global::Gtk.Box.BoxChild w13 = ((global::Gtk.Box.BoxChild)(this.hbox4[this.label10]));
-			w13.Position = 0;
-			w13.Expand = false;
-			w13.Fill = false;
+			global::Gtk.Box.BoxChild w8 = ((global::Gtk.Box.BoxChild)(this.hbox4[this.label10]));
+			w8.Position = 0;
+			w8.Expand = false;
+			w8.Fill = false;
 			this.vbox1.Add (this.hbox4);
-			global::Gtk.Box.BoxChild w14 = ((global::Gtk.Box.BoxChild)(this.vbox1[this.hbox4]));
-			w14.Position = 2;
-			w14.Expand = false;
-			w14.Fill = false;
+			global::Gtk.Box.BoxChild w9 = ((global::Gtk.Box.BoxChild)(this.vbox1[this.hbox4]));
+			w9.Position = 1;
+			w9.Expand = false;
+			w9.Fill = false;
 			this.Add (this.vbox1);
 			if ((this.Child != null)) {
 				this.Child.ShowAll ();
diff --git a/main/src/core/MonoDevelop.Ide/gtk-gui/MonoDevelop.Ide.Gui.OptionPanels.IDEStyleOptionsPanelWidget.cs b/main/src/core/MonoDevelop.Ide/gtk-gui/MonoDevelop.Ide.Gui.OptionPanels.IDEStyleOptionsPanelWidget.cs
index 20beb53d54..041cded94e 100644
--- a/main/src/core/MonoDevelop.Ide/gtk-gui/MonoDevelop.Ide.Gui.OptionPanels.IDEStyleOptionsPanelWidget.cs
+++ b/main/src/core/MonoDevelop.Ide/gtk-gui/MonoDevelop.Ide.Gui.OptionPanels.IDEStyleOptionsPanelWidget.cs
@@ -8,6 +8,8 @@ namespace MonoDevelop.Ide.Gui.OptionPanels
 
 		private global::Gtk.Table table1;
 
+		private global::Gtk.ComboBox comboCompact;
+
 		private global::Gtk.ComboBox comboLanguage;
 
 		private global::Gtk.ComboBox comboTheme;
@@ -18,6 +20,8 @@ namespace MonoDevelop.Ide.Gui.OptionPanels
 
 		private global::Gtk.Label label3;
 
+		private global::Gtk.Label label4;
+
 		private global::Gtk.ComboBox toolbarCombobox;
 
 		private global::Gtk.HBox hbox2;
@@ -47,24 +51,30 @@ namespace MonoDevelop.Ide.Gui.OptionPanels
 			this.vbox13.Name = "vbox13";
 			this.vbox13.Spacing = 6;
 			// Container child vbox13.Gtk.Box+BoxChild
-			this.table1 = new global::Gtk.Table (((uint)(3)), ((uint)(2)), false);
+			this.table1 = new global::Gtk.Table (((uint)(4)), ((uint)(2)), false);
 			this.table1.Name = "table1";
 			this.table1.RowSpacing = ((uint)(6));
 			this.table1.ColumnSpacing = ((uint)(6));
 			// Container child table1.Gtk.Table+TableChild
-			this.comboLanguage = global::Gtk.ComboBox.NewText ();
-			this.comboLanguage.Name = "comboLanguage";
-			this.table1.Add (this.comboLanguage);
-			global::Gtk.Table.TableChild w1 = ((global::Gtk.Table.TableChild)(this.table1[this.comboLanguage]));
+			this.comboCompact = global::Gtk.ComboBox.NewText ();
+			this.comboCompact.AppendText (global::Mono.Unix.Catalog.GetString ("Very spacious"));
+			this.comboCompact.AppendText (global::Mono.Unix.Catalog.GetString ("Spacious"));
+			this.comboCompact.AppendText (global::Mono.Unix.Catalog.GetString ("Normal"));
+			this.comboCompact.AppendText (global::Mono.Unix.Catalog.GetString ("Compact"));
+			this.comboCompact.AppendText (global::Mono.Unix.Catalog.GetString ("Very compact"));
+			this.comboCompact.Name = "comboCompact";
+			this.comboCompact.Active = 2;
+			this.table1.Add (this.comboCompact);
+			global::Gtk.Table.TableChild w1 = ((global::Gtk.Table.TableChild)(this.table1[this.comboCompact]));
 			w1.LeftAttach = ((uint)(1));
 			w1.RightAttach = ((uint)(2));
 			w1.XOptions = ((global::Gtk.AttachOptions)(4));
 			w1.YOptions = ((global::Gtk.AttachOptions)(4));
 			// Container child table1.Gtk.Table+TableChild
-			this.comboTheme = global::Gtk.ComboBox.NewText ();
-			this.comboTheme.Name = "comboTheme";
-			this.table1.Add (this.comboTheme);
-			global::Gtk.Table.TableChild w2 = ((global::Gtk.Table.TableChild)(this.table1[this.comboTheme]));
+			this.comboLanguage = global::Gtk.ComboBox.NewText ();
+			this.comboLanguage.Name = "comboLanguage";
+			this.table1.Add (this.comboLanguage);
+			global::Gtk.Table.TableChild w2 = ((global::Gtk.Table.TableChild)(this.table1[this.comboLanguage]));
 			w2.TopAttach = ((uint)(1));
 			w2.BottomAttach = ((uint)(2));
 			w2.LeftAttach = ((uint)(1));
@@ -72,37 +82,59 @@ namespace MonoDevelop.Ide.Gui.OptionPanels
 			w2.XOptions = ((global::Gtk.AttachOptions)(4));
 			w2.YOptions = ((global::Gtk.AttachOptions)(4));
 			// Container child table1.Gtk.Table+TableChild
+			this.comboTheme = global::Gtk.ComboBox.NewText ();
+			this.comboTheme.Name = "comboTheme";
+			this.table1.Add (this.comboTheme);
+			global::Gtk.Table.TableChild w3 = ((global::Gtk.Table.TableChild)(this.table1[this.comboTheme]));
+			w3.TopAttach = ((uint)(2));
+			w3.BottomAttach = ((uint)(3));
+			w3.LeftAttach = ((uint)(1));
+			w3.RightAttach = ((uint)(2));
+			w3.XOptions = ((global::Gtk.AttachOptions)(4));
+			w3.YOptions = ((global::Gtk.AttachOptions)(4));
+			// Container child table1.Gtk.Table+TableChild
 			this.label1 = new global::Gtk.Label ();
 			this.label1.Name = "label1";
 			this.label1.Xalign = 0f;
 			this.label1.LabelProp = global::Mono.Unix.Catalog.GetString ("_Toolbar icon size:");
 			this.label1.UseUnderline = true;
 			this.table1.Add (this.label1);
-			global::Gtk.Table.TableChild w3 = ((global::Gtk.Table.TableChild)(this.table1[this.label1]));
-			w3.TopAttach = ((uint)(2));
-			w3.BottomAttach = ((uint)(3));
-			w3.XOptions = ((global::Gtk.AttachOptions)(4));
-			w3.YOptions = ((global::Gtk.AttachOptions)(4));
+			global::Gtk.Table.TableChild w4 = ((global::Gtk.Table.TableChild)(this.table1[this.label1]));
+			w4.TopAttach = ((uint)(3));
+			w4.BottomAttach = ((uint)(4));
+			w4.XOptions = ((global::Gtk.AttachOptions)(4));
+			w4.YOptions = ((global::Gtk.AttachOptions)(4));
 			// Container child table1.Gtk.Table+TableChild
 			this.label2 = new global::Gtk.Label ();
 			this.label2.Name = "label2";
 			this.label2.Xalign = 0f;
 			this.label2.LabelProp = global::Mono.Unix.Catalog.GetString ("User Interface Language:");
 			this.table1.Add (this.label2);
-			global::Gtk.Table.TableChild w4 = ((global::Gtk.Table.TableChild)(this.table1[this.label2]));
-			w4.XOptions = ((global::Gtk.AttachOptions)(4));
-			w4.YOptions = ((global::Gtk.AttachOptions)(4));
+			global::Gtk.Table.TableChild w5 = ((global::Gtk.Table.TableChild)(this.table1[this.label2]));
+			w5.TopAttach = ((uint)(1));
+			w5.BottomAttach = ((uint)(2));
+			w5.XOptions = ((global::Gtk.AttachOptions)(4));
+			w5.YOptions = ((global::Gtk.AttachOptions)(4));
 			// Container child table1.Gtk.Table+TableChild
 			this.label3 = new global::Gtk.Label ();
 			this.label3.Name = "label3";
 			this.label3.Xalign = 0f;
 			this.label3.LabelProp = global::Mono.Unix.Catalog.GetString ("User Interface Theme:");
 			this.table1.Add (this.label3);
-			global::Gtk.Table.TableChild w5 = ((global::Gtk.Table.TableChild)(this.table1[this.label3]));
-			w5.TopAttach = ((uint)(1));
-			w5.BottomAttach = ((uint)(2));
-			w5.XOptions = ((global::Gtk.AttachOptions)(4));
-			w5.YOptions = ((global::Gtk.AttachOptions)(4));
+			global::Gtk.Table.TableChild w6 = ((global::Gtk.Table.TableChild)(this.table1[this.label3]));
+			w6.TopAttach = ((uint)(2));
+			w6.BottomAttach = ((uint)(3));
+			w6.XOptions = ((global::Gtk.AttachOptions)(4));
+			w6.YOptions = ((global::Gtk.AttachOptions)(4));
+			// Container child table1.Gtk.Table+TableChild
+			this.label4 = new global::Gtk.Label ();
+			this.label4.Name = "label4";
+			this.label4.Xalign = 0f;
+			this.label4.LabelProp = global::Mono.Unix.Catalog.GetString ("Compactness:");
+			this.table1.Add (this.label4);
+			global::Gtk.Table.TableChild w7 = ((global::Gtk.Table.TableChild)(this.table1[this.label4]));
+			w7.XOptions = ((global::Gtk.AttachOptions)(4));
+			w7.YOptions = ((global::Gtk.AttachOptions)(4));
 			// Container child table1.Gtk.Table+TableChild
 			this.toolbarCombobox = global::Gtk.ComboBox.NewText ();
 			this.toolbarCombobox.AppendText (global::Mono.Unix.Catalog.GetString ("Smallest"));
@@ -111,18 +143,18 @@ namespace MonoDevelop.Ide.Gui.OptionPanels
 			this.toolbarCombobox.Name = "toolbarCombobox";
 			this.toolbarCombobox.Active = 1;
 			this.table1.Add (this.toolbarCombobox);
-			global::Gtk.Table.TableChild w6 = ((global::Gtk.Table.TableChild)(this.table1[this.toolbarCombobox]));
-			w6.TopAttach = ((uint)(2));
-			w6.BottomAttach = ((uint)(3));
-			w6.LeftAttach = ((uint)(1));
-			w6.RightAttach = ((uint)(2));
-			w6.XOptions = ((global::Gtk.AttachOptions)(4));
-			w6.YOptions = ((global::Gtk.AttachOptions)(4));
+			global::Gtk.Table.TableChild w8 = ((global::Gtk.Table.TableChild)(this.table1[this.toolbarCombobox]));
+			w8.TopAttach = ((uint)(3));
+			w8.BottomAttach = ((uint)(4));
+			w8.LeftAttach = ((uint)(1));
+			w8.RightAttach = ((uint)(2));
+			w8.XOptions = ((global::Gtk.AttachOptions)(4));
+			w8.YOptions = ((global::Gtk.AttachOptions)(4));
 			this.vbox13.Add (this.table1);
-			global::Gtk.Box.BoxChild w7 = ((global::Gtk.Box.BoxChild)(this.vbox13[this.table1]));
-			w7.Position = 0;
-			w7.Expand = false;
-			w7.Fill = false;
+			global::Gtk.Box.BoxChild w9 = ((global::Gtk.Box.BoxChild)(this.vbox13[this.table1]));
+			w9.Position = 0;
+			w9.Expand = false;
+			w9.Fill = false;
 			// Container child vbox13.Gtk.Box+BoxChild
 			this.hbox2 = new global::Gtk.HBox ();
 			this.hbox2.Name = "hbox2";
@@ -134,22 +166,22 @@ namespace MonoDevelop.Ide.Gui.OptionPanels
 			this.fontCheckbox.DrawIndicator = true;
 			this.fontCheckbox.UseUnderline = true;
 			this.hbox2.Add (this.fontCheckbox);
-			global::Gtk.Box.BoxChild w8 = ((global::Gtk.Box.BoxChild)(this.hbox2[this.fontCheckbox]));
-			w8.Position = 0;
-			w8.Expand = false;
+			global::Gtk.Box.BoxChild w10 = ((global::Gtk.Box.BoxChild)(this.hbox2[this.fontCheckbox]));
+			w10.Position = 0;
+			w10.Expand = false;
 			// Container child hbox2.Gtk.Box+BoxChild
 			this.fontButton = new global::Gtk.FontButton ();
 			this.fontButton.Name = "fontButton";
 			this.hbox2.Add (this.fontButton);
-			global::Gtk.Box.BoxChild w9 = ((global::Gtk.Box.BoxChild)(this.hbox2[this.fontButton]));
-			w9.Position = 1;
-			w9.Expand = false;
-			w9.Fill = false;
+			global::Gtk.Box.BoxChild w11 = ((global::Gtk.Box.BoxChild)(this.hbox2[this.fontButton]));
+			w11.Position = 1;
+			w11.Expand = false;
+			w11.Fill = false;
 			this.vbox13.Add (this.hbox2);
-			global::Gtk.Box.BoxChild w10 = ((global::Gtk.Box.BoxChild)(this.vbox13[this.hbox2]));
-			w10.Position = 1;
-			w10.Expand = false;
-			w10.Fill = false;
+			global::Gtk.Box.BoxChild w12 = ((global::Gtk.Box.BoxChild)(this.vbox13[this.hbox2]));
+			w12.Position = 1;
+			w12.Expand = false;
+			w12.Fill = false;
 			// Container child vbox13.Gtk.Box+BoxChild
 			this.hbox3 = new global::Gtk.HBox ();
 			this.hbox3.Name = "hbox3";
@@ -161,22 +193,22 @@ namespace MonoDevelop.Ide.Gui.OptionPanels
 			this.fontOutputCheckbox.DrawIndicator = true;
 			this.fontOutputCheckbox.UseUnderline = true;
 			this.hbox3.Add (this.fontOutputCheckbox);
-			global::Gtk.Box.BoxChild w11 = ((global::Gtk.Box.BoxChild)(this.hbox3[this.fontOutputCheckbox]));
-			w11.Position = 0;
-			w11.Expand = false;
+			global::Gtk.Box.BoxChild w13 = ((global::Gtk.Box.BoxChild)(this.hbox3[this.fontOutputCheckbox]));
+			w13.Position = 0;
+			w13.Expand = false;
 			// Container child hbox3.Gtk.Box+BoxChild
 			this.fontOutputButton = new global::Gtk.FontButton ();
 			this.fontOutputButton.Name = "fontOutputButton";
 			this.hbox3.Add (this.fontOutputButton);
-			global::Gtk.Box.BoxChild w12 = ((global::Gtk.Box.BoxChild)(this.hbox3[this.fontOutputButton]));
-			w12.Position = 1;
-			w12.Expand = false;
-			w12.Fill = false;
+			global::Gtk.Box.BoxChild w14 = ((global::Gtk.Box.BoxChild)(this.hbox3[this.fontOutputButton]));
+			w14.Position = 1;
+			w14.Expand = false;
+			w14.Fill = false;
 			this.vbox13.Add (this.hbox3);
-			global::Gtk.Box.BoxChild w13 = ((global::Gtk.Box.BoxChild)(this.vbox13[this.hbox3]));
-			w13.Position = 2;
-			w13.Expand = false;
-			w13.Fill = false;
+			global::Gtk.Box.BoxChild w15 = ((global::Gtk.Box.BoxChild)(this.vbox13[this.hbox3]));
+			w15.Position = 2;
+			w15.Expand = false;
+			w15.Fill = false;
 			// Container child vbox13.Gtk.Box+BoxChild
 			this.hiddenButton = new global::Gtk.CheckButton ();
 			this.hiddenButton.Name = "hiddenButton";
@@ -184,10 +216,10 @@ namespace MonoDevelop.Ide.Gui.OptionPanels
 			this.hiddenButton.DrawIndicator = true;
 			this.hiddenButton.UseUnderline = true;
 			this.vbox13.Add (this.hiddenButton);
-			global::Gtk.Box.BoxChild w14 = ((global::Gtk.Box.BoxChild)(this.vbox13[this.hiddenButton]));
-			w14.Position = 3;
-			w14.Expand = false;
-			w14.Fill = false;
+			global::Gtk.Box.BoxChild w16 = ((global::Gtk.Box.BoxChild)(this.vbox13[this.hiddenButton]));
+			w16.Position = 3;
+			w16.Expand = false;
+			w16.Fill = false;
 			// Container child vbox13.Gtk.Box+BoxChild
 			this.documentSwitcherButton = new global::Gtk.CheckButton ();
 			this.documentSwitcherButton.CanFocus = true;
@@ -196,10 +228,10 @@ namespace MonoDevelop.Ide.Gui.OptionPanels
 			this.documentSwitcherButton.DrawIndicator = true;
 			this.documentSwitcherButton.UseUnderline = true;
 			this.vbox13.Add (this.documentSwitcherButton);
-			global::Gtk.Box.BoxChild w15 = ((global::Gtk.Box.BoxChild)(this.vbox13[this.documentSwitcherButton]));
-			w15.Position = 4;
-			w15.Expand = false;
-			w15.Fill = false;
+			global::Gtk.Box.BoxChild w17 = ((global::Gtk.Box.BoxChild)(this.vbox13[this.documentSwitcherButton]));
+			w17.Position = 4;
+			w17.Expand = false;
+			w17.Fill = false;
 			this.Add (this.vbox13);
 			if ((this.Child != null)) {
 				this.Child.ShowAll ();
diff --git a/main/src/core/MonoDevelop.Ide/gtk-gui/gui.stetic b/main/src/core/MonoDevelop.Ide/gtk-gui/gui.stetic
index af099af72c..c8158db73b 100644
--- a/main/src/core/MonoDevelop.Ide/gtk-gui/gui.stetic
+++ b/main/src/core/MonoDevelop.Ide/gtk-gui/gui.stetic
@@ -5,7 +5,7 @@
     <target-gtk-version>2.12</target-gtk-version>
   </configuration>
   <import>
-    <widget-library name="Mono.Addins.Gui, Version=0.4.0.0, Culture=neutral, PublicKeyToken=0738eb9f132ed756" />
+    <widget-library name="Mono.Addins.Gui, Version=0.5.0.0, Culture=neutral, PublicKeyToken=0738eb9f132ed756" />
     <widget-library name="../../../../build/bin/MonoDevelop.Dock.dll" />
     <widget-library name="../../../../build/bin/MonoDevelop.Components.dll" />
     <widget-library name="../../../../build/bin/MonoDevelop.Core.Gui.dll" />
@@ -4317,7 +4317,7 @@ Months</property>
       </widget>
     </child>
   </widget>
-  <widget class="Gtk.Bin" id="MonoDevelop.Ide.Gui.OptionPanels.IDEStyleOptionsPanelWidget" design-size="315 244">
+  <widget class="Gtk.Bin" id="MonoDevelop.Ide.Gui.OptionPanels.IDEStyleOptionsPanelWidget" design-size="315 285">
     <property name="MemberName" />
     <child>
       <widget class="Gtk.VBox" id="vbox13">
@@ -4326,17 +4326,44 @@ Months</property>
         <child>
           <widget class="Gtk.Table" id="table1">
             <property name="MemberName" />
-            <property name="NRows">3</property>
+            <property name="NRows">4</property>
             <property name="NColumns">2</property>
             <property name="RowSpacing">6</property>
             <property name="ColumnSpacing">6</property>
             <child>
+              <widget class="Gtk.ComboBox" id="comboCompact">
+                <property name="MemberName" />
+                <property name="IsTextCombo">True</property>
+                <property name="Items" translatable="yes">Very spacious
+Spacious
+Normal
+Compact
+Very compact</property>
+                <property name="Active">2</property>
+              </widget>
+              <packing>
+                <property name="LeftAttach">1</property>
+                <property name="RightAttach">2</property>
+                <property name="AutoSize">True</property>
+                <property name="XOptions">Fill</property>
+                <property name="YOptions">Fill</property>
+                <property name="XExpand">False</property>
+                <property name="XFill">True</property>
+                <property name="XShrink">False</property>
+                <property name="YExpand">False</property>
+                <property name="YFill">True</property>
+                <property name="YShrink">False</property>
+              </packing>
+            </child>
+            <child>
               <widget class="Gtk.ComboBox" id="comboLanguage">
                 <property name="MemberName" />
                 <property name="IsTextCombo">True</property>
                 <property name="Items" translatable="yes" />
               </widget>
               <packing>
+                <property name="TopAttach">1</property>
+                <property name="BottomAttach">2</property>
                 <property name="LeftAttach">1</property>
                 <property name="RightAttach">2</property>
                 <property name="AutoSize">True</property>
@@ -4357,8 +4384,8 @@ Months</property>
                 <property name="Items" translatable="yes" />
               </widget>
               <packing>
-                <property name="TopAttach">1</property>
-                <property name="BottomAttach">2</property>
+                <property name="TopAttach">2</property>
+                <property name="BottomAttach">3</property>
                 <property name="LeftAttach">1</property>
                 <property name="RightAttach">2</property>
                 <property name="AutoSize">True</property>
@@ -4381,8 +4408,8 @@ Months</property>
                 <property name="MnemonicWidget">toolbarCombobox</property>
               </widget>
               <packing>
-                <property name="TopAttach">2</property>
-                <property name="BottomAttach">3</property>
+                <property name="TopAttach">3</property>
+                <property name="BottomAttach">4</property>
                 <property name="AutoSize">True</property>
                 <property name="XOptions">Fill</property>
                 <property name="YOptions">Fill</property>
@@ -4401,6 +4428,8 @@ Months</property>
                 <property name="LabelProp" translatable="yes">User Interface Language:</property>
               </widget>
               <packing>
+                <property name="TopAttach">1</property>
+                <property name="BottomAttach">2</property>
                 <property name="AutoSize">True</property>
                 <property name="XOptions">Fill</property>
                 <property name="YOptions">Fill</property>
@@ -4419,8 +4448,26 @@ Months</property>
                 <property name="LabelProp" translatable="yes">User Interface Theme:</property>
               </widget>
               <packing>
-                <property name="TopAttach">1</property>
-                <property name="BottomAttach">2</property>
+                <property name="TopAttach">2</property>
+                <property name="BottomAttach">3</property>
+                <property name="AutoSize">True</property>
+                <property name="XOptions">Fill</property>
+                <property name="YOptions">Fill</property>
+                <property name="XExpand">False</property>
+                <property name="XFill">True</property>
+                <property name="XShrink">False</property>
+                <property name="YExpand">False</property>
+                <property name="YFill">True</property>
+                <property name="YShrink">False</property>
+              </packing>
+            </child>
+            <child>
+              <widget class="Gtk.Label" id="label4">
+                <property name="MemberName" />
+                <property name="Xalign">0</property>
+                <property name="LabelProp" translatable="yes">Compactness:</property>
+              </widget>
+              <packing>
                 <property name="AutoSize">True</property>
                 <property name="XOptions">Fill</property>
                 <property name="YOptions">Fill</property>
@@ -4442,8 +4489,8 @@ Large</property>
                 <property name="Active">1</property>
               </widget>
               <packing>
-                <property name="TopAttach">2</property>
-                <property name="BottomAttach">3</property>
+                <property name="TopAttach">3</property>
+                <property name="BottomAttach">4</property>
                 <property name="LeftAttach">1</property>
                 <property name="RightAttach">2</property>
                 <property name="AutoSize">True</property>
@@ -7961,20 +8008,33 @@ All solutions</property>
         <property name="MemberName" />
         <property name="Spacing">6</property>
         <child>
-          <widget class="Gtk.HBox" id="hbox1">
+          <widget class="Gtk.Table" id="table4">
             <property name="MemberName" />
-            <property name="Spacing">6</property>
+            <property name="NRows">3</property>
+            <property name="NColumns">2</property>
+            <property name="RowSpacing">6</property>
+            <property name="ColumnSpacing">6</property>
             <child>
-              <widget class="Gtk.Label" id="label6">
+              <widget class="Gtk.ComboBox" id="comboboxErrorPadAfter">
                 <property name="MemberName" />
-                <property name="Xalign">0</property>
-                <property name="LabelProp" translatable="yes">Jump to first error or warning:</property>
+                <property name="IsTextCombo">True</property>
+                <property name="Items" translatable="yes">Never</property>
+                <property name="Active">0</property>
               </widget>
               <packing>
-                <property name="Position">0</property>
+                <property name="TopAttach">1</property>
+                <property name="BottomAttach">2</property>
+                <property name="LeftAttach">1</property>
+                <property name="RightAttach">2</property>
                 <property name="AutoSize">True</property>
-                <property name="Expand">False</property>
-                <property name="Fill">False</property>
+                <property name="XOptions">Fill</property>
+                <property name="YOptions">Fill</property>
+                <property name="XExpand">False</property>
+                <property name="XFill">True</property>
+                <property name="XShrink">False</property>
+                <property name="YExpand">False</property>
+                <property name="YFill">True</property>
+                <property name="YShrink">False</property>
               </packing>
             </child>
             <child>
@@ -7985,176 +8045,103 @@ All solutions</property>
                 <property name="Active">0</property>
               </widget>
               <packing>
-                <property name="Position">1</property>
-                <property name="AutoSize">False</property>
+                <property name="LeftAttach">1</property>
+                <property name="RightAttach">2</property>
+                <property name="AutoSize">True</property>
+                <property name="XOptions">Fill</property>
+                <property name="YOptions">Fill</property>
+                <property name="XExpand">False</property>
+                <property name="XFill">True</property>
+                <property name="XShrink">False</property>
+                <property name="YExpand">False</property>
+                <property name="YFill">True</property>
+                <property name="YShrink">False</property>
+              </packing>
+            </child>
+            <child>
+              <widget class="Gtk.ComboBox" id="comboboxMessageBubbles">
+                <property name="MemberName" />
+                <property name="IsTextCombo">True</property>
+                <property name="Items" translatable="yes">Never</property>
+                <property name="Active">0</property>
+              </widget>
+              <packing>
+                <property name="TopAttach">2</property>
+                <property name="BottomAttach">3</property>
+                <property name="LeftAttach">1</property>
+                <property name="RightAttach">2</property>
+                <property name="AutoSize">True</property>
+                <property name="XOptions">Fill</property>
+                <property name="YOptions">Fill</property>
+                <property name="XExpand">False</property>
+                <property name="XFill">True</property>
+                <property name="XShrink">False</property>
+                <property name="YExpand">False</property>
+                <property name="YFill">True</property>
+                <property name="YShrink">False</property>
               </packing>
             </child>
-          </widget>
-          <packing>
-            <property name="Position">0</property>
-            <property name="AutoSize">True</property>
-            <property name="Expand">False</property>
-            <property name="Fill">False</property>
-          </packing>
-        </child>
-        <child>
-          <widget class="Gtk.Frame" id="frame2">
-            <property name="MemberName" />
-            <property name="ShadowType">None</property>
             <child>
-              <widget class="Gtk.Alignment" id="GtkAlignment">
+              <widget class="Gtk.Label" id="label3">
                 <property name="MemberName" />
                 <property name="Xalign">0</property>
-                <property name="Yalign">0</property>
-                <property name="LeftPadding">12</property>
-                <child>
-                  <widget class="Gtk.Table" id="table4">
-                    <property name="MemberName" />
-                    <property name="NRows">3</property>
-                    <property name="NColumns">2</property>
-                    <property name="RowSpacing">6</property>
-                    <property name="ColumnSpacing">6</property>
-                    <child>
-                      <widget class="Gtk.ComboBox" id="comboboxBuildResultsAfter">
-                        <property name="MemberName" />
-                        <property name="IsTextCombo">True</property>
-                        <property name="Items" translatable="yes">Never</property>
-                        <property name="Active">0</property>
-                      </widget>
-                      <packing>
-                        <property name="LeftAttach">1</property>
-                        <property name="RightAttach">2</property>
-                        <property name="AutoSize">False</property>
-                        <property name="YOptions">Fill</property>
-                        <property name="XExpand">True</property>
-                        <property name="XFill">True</property>
-                        <property name="XShrink">False</property>
-                        <property name="YExpand">False</property>
-                        <property name="YFill">True</property>
-                        <property name="YShrink">False</property>
-                      </packing>
-                    </child>
-                    <child>
-                      <widget class="Gtk.ComboBox" id="comboboxErrorPadAfter">
-                        <property name="MemberName" />
-                        <property name="IsTextCombo">True</property>
-                        <property name="Items" translatable="yes">Never</property>
-                        <property name="Active">0</property>
-                      </widget>
-                      <packing>
-                        <property name="TopAttach">1</property>
-                        <property name="BottomAttach">2</property>
-                        <property name="LeftAttach">1</property>
-                        <property name="RightAttach">2</property>
-                        <property name="AutoSize">True</property>
-                        <property name="XOptions">Fill</property>
-                        <property name="YOptions">Fill</property>
-                        <property name="XExpand">False</property>
-                        <property name="XFill">True</property>
-                        <property name="XShrink">False</property>
-                        <property name="YExpand">False</property>
-                        <property name="YFill">True</property>
-                        <property name="YShrink">False</property>
-                      </packing>
-                    </child>
-                    <child>
-                      <widget class="Gtk.ComboBox" id="comboboxMessageBubbles">
-                        <property name="MemberName" />
-                        <property name="IsTextCombo">True</property>
-                        <property name="Items" translatable="yes">Never</property>
-                        <property name="Active">0</property>
-                      </widget>
-                      <packing>
-                        <property name="TopAttach">2</property>
-                        <property name="BottomAttach">3</property>
-                        <property name="LeftAttach">1</property>
-                        <property name="RightAttach">2</property>
-                        <property name="AutoSize">True</property>
-                        <property name="XOptions">Fill</property>
-                        <property name="YOptions">Fill</property>
-                        <property name="XExpand">False</property>
-                        <property name="XFill">True</property>
-                        <property name="XShrink">False</property>
-                        <property name="YExpand">False</property>
-                        <property name="YFill">True</property>
-                        <property name="YShrink">False</property>
-                      </packing>
-                    </child>
-                    <child>
-                      <widget class="Gtk.Label" id="label2">
-                        <property name="MemberName" />
-                        <property name="Xalign">1</property>
-                        <property name="LabelProp" translatable="yes">Show build result:</property>
-                      </widget>
-                      <packing>
-                        <property name="AutoSize">True</property>
-                        <property name="XOptions">Fill</property>
-                        <property name="YOptions">Fill</property>
-                        <property name="XExpand">False</property>
-                        <property name="XFill">True</property>
-                        <property name="XShrink">False</property>
-                        <property name="YExpand">False</property>
-                        <property name="YFill">True</property>
-                        <property name="YShrink">False</property>
-                      </packing>
-                    </child>
-                    <child>
-                      <widget class="Gtk.Label" id="label3">
-                        <property name="MemberName" />
-                        <property name="Xalign">1</property>
-                        <property name="LabelProp" translatable="yes">Show error pad:</property>
-                      </widget>
-                      <packing>
-                        <property name="TopAttach">1</property>
-                        <property name="BottomAttach">2</property>
-                        <property name="AutoSize">True</property>
-                        <property name="XOptions">Fill</property>
-                        <property name="YOptions">Fill</property>
-                        <property name="XExpand">False</property>
-                        <property name="XFill">True</property>
-                        <property name="XShrink">False</property>
-                        <property name="YExpand">False</property>
-                        <property name="YFill">True</property>
-                        <property name="YShrink">False</property>
-                      </packing>
-                    </child>
-                    <child>
-                      <widget class="Gtk.Label" id="label5">
-                        <property name="MemberName" />
-                        <property name="Xalign">1</property>
-                        <property name="LabelProp" translatable="yes">Show message bubbles:</property>
-                      </widget>
-                      <packing>
-                        <property name="TopAttach">2</property>
-                        <property name="BottomAttach">3</property>
-                        <property name="AutoSize">True</property>
-                        <property name="XOptions">Fill</property>
-                        <property name="YOptions">Fill</property>
-                        <property name="XExpand">False</property>
-                        <property name="XFill">True</property>
-                        <property name="XShrink">False</property>
-                        <property name="YExpand">False</property>
-                        <property name="YFill">True</property>
-                        <property name="YShrink">False</property>
-                      </packing>
-                    </child>
-                  </widget>
-                </child>
+                <property name="LabelProp" translatable="yes">Show error pad:</property>
+              </widget>
+              <packing>
+                <property name="TopAttach">1</property>
+                <property name="BottomAttach">2</property>
+                <property name="AutoSize">True</property>
+                <property name="XOptions">Fill</property>
+                <property name="YOptions">Fill</property>
+                <property name="XExpand">False</property>
+                <property name="XFill">True</property>
+                <property name="XShrink">False</property>
+                <property name="YExpand">False</property>
+                <property name="YFill">True</property>
+                <property name="YShrink">False</property>
+              </packing>
+            </child>
+            <child>
+              <widget class="Gtk.Label" id="label5">
+                <property name="MemberName" />
+                <property name="Xalign">0</property>
+                <property name="LabelProp" translatable="yes">Show message bubbles:</property>
               </widget>
+              <packing>
+                <property name="TopAttach">2</property>
+                <property name="BottomAttach">3</property>
+                <property name="AutoSize">True</property>
+                <property name="XOptions">Fill</property>
+                <property name="YOptions">Fill</property>
+                <property name="XExpand">False</property>
+                <property name="XFill">True</property>
+                <property name="XShrink">False</property>
+                <property name="YExpand">False</property>
+                <property name="YFill">True</property>
+                <property name="YShrink">False</property>
+              </packing>
             </child>
             <child>
-              <widget class="Gtk.Label" id="GtkLabel">
+              <widget class="Gtk.Label" id="label6">
                 <property name="MemberName" />
-                <property name="LabelProp" translatable="yes">&lt;b&gt;Compilation result&lt;/b&gt;</property>
-                <property name="UseMarkup">True</property>
+                <property name="Xalign">0</property>
+                <property name="LabelProp" translatable="yes">Jump to first error or warning:</property>
               </widget>
               <packing>
-                <property name="type">label_item</property>
+                <property name="AutoSize">True</property>
+                <property name="XOptions">Fill</property>
+                <property name="YOptions">Fill</property>
+                <property name="XExpand">False</property>
+                <property name="XFill">True</property>
+                <property name="XShrink">False</property>
+                <property name="YExpand">False</property>
+                <property name="YFill">True</property>
+                <property name="YShrink">False</property>
               </packing>
             </child>
           </widget>
           <packing>
-            <property name="Position">1</property>
+            <property name="Position">0</property>
             <property name="AutoSize">True</property>
             <property name="Expand">False</property>
             <property name="Fill">False</property>
@@ -8178,7 +8165,7 @@ All solutions</property>
             </child>
           </widget>
           <packing>
-            <property name="Position">2</property>
+            <property name="Position">1</property>
             <property name="AutoSize">True</property>
             <property name="Expand">False</property>
             <property name="Fill">False</property>