[four-in-a-row/KaKnife/four-in-a-row-vala: 22/65] style update

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 5a6b01c527dca508d3457e197b5893940f578e66
Author: Jacob Humphrey <jacob ryan humphrey gmail com>
Date:   Sun Nov 25 12:35:58 2018 -0600

    style update

 src/ai.vala                  | 1 -
 src/games-controls-list.vala | 6 ++----
 src/gfx.vala                 | 4 ----
 src/main.vala                | 4 ----
 src/prefs.vala               | 1 -
 src/theme.vala               | 1 -
 6 files changed, 2 insertions(+), 15 deletions(-)
---
diff --git a/src/ai.vala b/src/ai.vala
index 7be1ee2..e1b8b0d 100644
--- a/src/ai.vala
+++ b/src/ai.vala
@@ -17,7 +17,6 @@
  * You should have received a copy of the GNU General Public License
  * along with Four-in-a-row.  If not, see <http://www.gnu.org/licenses/>. */
 
-
 /* Here NEG_INF is supposed to be the lowest possible int value. int.MIN
 MAX_HEURIST_VALUE is the maximum value that the heuristic functions can return.
 It is returned when AI wins. -1*MAX_HEURIST_VALUE is returned when Human wins
diff --git a/src/games-controls-list.vala b/src/games-controls-list.vala
index 569cf54..ff2deee 100644
--- a/src/games-controls-list.vala
+++ b/src/games-controls-list.vala
@@ -1,5 +1,5 @@
-/* -*- Mode: vala; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
-/* games-controls.vala
+/* -*- Mode: vala; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
+ * games-controls.vala
  *
  * Copyright © 2018 Jacob Humphrey
  *
@@ -19,7 +19,6 @@
  * along with GNOME Four-in-a-row. If not, see <http://www.gnu.org/licenses/>.
  */
 
-
 /*
  * Needed to force vala to include headers in the correct order.
  * See https://gitlab.gnome.org/GNOME/vala/issues/98
@@ -125,7 +124,6 @@ public class GamesControlsList : Gtk.ScrolledWindow {
         bool valid;
         bool unused_key = true;
 
-
         path = new Gtk.TreePath.from_string(path_string);
         if (path == null)
             return;
diff --git a/src/gfx.vala b/src/gfx.vala
index 018bd9e..07b7f76 100644
--- a/src/gfx.vala
+++ b/src/gfx.vala
@@ -19,7 +19,6 @@
  * along with GNOME Four-in-a-row. If not, see <http://www.gnu.org/licenses/>.
  */
 
-
 Gtk.Widget drawarea;
 int[,] gboard;
 int boardsize = 0;
@@ -173,7 +172,6 @@ namespace Gfx{
             break;
         }
 
-
         cr.save();
         Gdk.cairo_set_source_pixbuf(cr, pb_tileset, x - os, y);
         cr.rectangle(x, y, tilesize, tilesize);
@@ -189,8 +187,6 @@ namespace Gfx{
         pb_bground = pb_bground_raw.scale_simple(boardsize, boardsize, Gdk.InterpType.BILINEAR);
     }
 
-
-
     bool load_pixmaps() {
         string fname;
         Gdk.Pixbuf pb_tileset_tmp;
diff --git a/src/main.vala b/src/main.vala
index 1a95bbb..5160d53 100644
--- a/src/main.vala
+++ b/src/main.vala
@@ -19,7 +19,6 @@
  * along with GNOME Four-in-a-row. If not, see <http://www.gnu.org/licenses/>.
  */
 
-
 public enum AnimID {
     NONE,
     MOVE,
@@ -311,7 +310,6 @@ void swap_player() {
     prompt_player();
 }
 
-
 void set_status_message(string? message) {
     headerbar.set_title(message);
 }
@@ -706,7 +704,6 @@ void play_sound(SoundID id) {
         return;
     }
 
-
     string filename, path;
 
     filename = name + ".ogg";
@@ -963,7 +960,6 @@ void create_app(GLib.Application app) {
     }
     Gtk.StyleContext.add_provider_for_screen(Gdk.Screen.get_default(), css_provider, 
Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION);
 
-
     builder = new Gtk.Builder.from_file(Config.DATA_DIRECTORY + "/four-in-a-row.ui");
 
     window = (Gtk.Window) builder.get_object("fiar-window");
diff --git a/src/prefs.vala b/src/prefs.vala
index 76ecd76..427ba40 100644
--- a/src/prefs.vala
+++ b/src/prefs.vala
@@ -43,7 +43,6 @@ const uint DEFAULT_KEY_RIGHT = Gdk.Key.Right;
 const uint DEFAULT_KEY_DROP = Gdk.Key.Down;
 const int DEFAULT_THEME_ID = 0;
 
-
 static int sane_theme_id(int val) {
     if (val < 0 || val >= theme.length)
     return DEFAULT_THEME_ID;
diff --git a/src/theme.vala b/src/theme.vala
index 11cd8a0..0925f27 100644
--- a/src/theme.vala
+++ b/src/theme.vala
@@ -60,7 +60,6 @@ string theme_get_player(PlayerID who) {
     return theme[p.theme_id].player2;
 }
 
-
 const Theme theme[] = {
     {
         N_("High Contrast"),