Rename launcher_size to launchers_size

Fixes #65

Author: wb9688

metadata/panel.xml

@@ -72,8 +72,8 @@
 		<_short>Launchers Spacing</_short>
 		<default>4</default>
 	</option>
-	<option name="launcher_size" type="int">
-		<_short>Launcher Size</_short>
+	<option name="launchers_size" type="int">
+		<_short>Launchers Size</_short>
 		<default>42</default>
 	</option>
 	</group>

src/panel/widgets/launchers.cpp

@@ -113,7 +113,7 @@ void WfLauncherButton::set_size(int size)
 bool WfLauncherButton::initialize(std::string name, std::string icon, std::string label)
 {
     launcher_name = name;
-    base_size = WfOption<int> {"panel/launcher_size"} / LAUNCHERS_ICON_SCALE;
+    base_size = WfOption<int> {"panel/launchers_size"} / LAUNCHERS_ICON_SCALE;
     if (icon == "none")
     {
         auto dl = new DesktopLauncherInfo();

src/panel/widgets/menu.hpp

@@ -67,7 +67,7 @@ class WayfireMenu : public WayfireWidget
 
     WfOption<bool> fuzzy_search_enabled{"panel/menu_fuzzy_search"};
     WfOption<std::string> panel_position{"panel/position"};
-    WfOption<int> menu_size{"panel/launcher_size"};
+    WfOption<int> menu_size{"panel/launchers_size"};
     WfOption<std::string> menu_icon{"panel/menu_icon"};
     void update_popover_layout();
 

src/panel/widgets/volume.hpp

@@ -36,7 +36,7 @@ class WayfireVolume : public WayfireWidget
     WayfireVolumeScale volume_scale;
     std::unique_ptr<WayfireMenuButton> button;
 
-    WfOption<int> volume_size{"panel/launcher_size"};
+    WfOption<int> volume_size{"panel/launchers_size"};
     WfOption<double> timeout{"panel/volume_display_timeout"};
 
     void on_volume_scroll(GdkEventScroll *event);

wf-shell.ini.example

@@ -68,7 +68,7 @@ launcher_nau = org.gnome.Nautilus.desktop
 launchers_spacing = 4
 
 # size of the launcher icon
-launcher_size = 42
+launchers_size = 42