Reduced usage of Gee
[gregoa/zavai.git] / src / app_wm.vala
index e3c3bcb89ccd380c198a03e4eefef4a6c0320166..c24567d9041694cde8db47a2da9c192f493081ff 100644 (file)
@@ -190,7 +190,8 @@ public class Launcher: Applet
 
         FileInfo file_info;
         var icon_theme = Gtk.IconTheme.get_default();
 
         FileInfo file_info;
         var icon_theme = Gtk.IconTheme.get_default();
-        Gee.ArrayList<LauncherButton> buttons = new Gee.ArrayList<LauncherButton>();
+        List<LauncherButton> buttons = new List<LauncherButton>();
+        int buttons_size = 0;
         while ((file_info = enumerator.next_file(null)) != null)
         {
             if (!file_info.get_name().has_suffix(".desktop")) continue;
         while ((file_info = enumerator.next_file(null)) != null)
         {
             if (!file_info.get_name().has_suffix(".desktop")) continue;
@@ -224,13 +225,14 @@ public class Launcher: Applet
                 }
             }
             button.clicked += a => { this.back_to_main(); zavai.app.ensure_hidden(); };
                 }
             }
             button.clicked += a => { this.back_to_main(); zavai.app.ensure_hidden(); };
-            buttons.add(button);
+            buttons.append(button);
+            ++buttons_size;
         }
 
         // Create the table with the launcher buttons
         uint ROWMAX = 5;    // Maximum number of rows
         }
 
         // Create the table with the launcher buttons
         uint ROWMAX = 5;    // Maximum number of rows
-        uint cols = 1 + (buttons.size + 1) / ROWMAX; // ceil(size/ROWMAX)
-        uint rows = (buttons.size + 1) / cols;   // ceil(size/cols)
+        uint cols = 1 + (buttons_size + 1) / ROWMAX; // ceil(size/ROWMAX)
+        uint rows = (buttons_size + 1) / cols;   // ceil(size/cols)
         var table = new Gtk.Table(rows, cols, true);
 
         // Attach the buttons in the table
         var table = new Gtk.Table(rows, cols, true);
 
         // Attach the buttons in the table