Added fix for preferences not showing correctly

Author: Bart Zaalberg

src/Dialogs/Preferences.vala

@@ -80,8 +80,8 @@ public class Preferences : Gtk.Dialog {
         general_grid.attach (addBookmarksToDockUpdateLabel, 0, 4, 1, 1);
         general_grid.attach (addBookmarksToDockUpdateButton, 1, 4, 1, 1);
 
-        general_grid.attach (use_terminal_label, 0, 4, 1, 1);
-        general_grid.attach (use_terminal, 1, 4, 1, 1);
+        general_grid.attach (use_terminal_label, 0, 5, 1, 1);
+        general_grid.attach (use_terminal, 1, 5, 1, 1);
 
         var main_grid = new Gtk.Grid ();
         main_grid.attach (general_grid, 0, 0, 1, 1);