Minor tweak : reduce spinner height when height is computer from label height. Too much vertical space was waster

git-svn-id: svn+ssh://svn.code.sf.net/p/supertuxkart/code/main/trunk@11128 178a84e3-b1eb-0310-8ba1-8eac791a3b58

src/guiengine/widgets/spinner_widget.hpp

@@ -89,7 +89,7 @@ namespace GUIEngine
         
         /** When inferring widget size from its label length, this method will be called to
          * if/how much space must be added to the raw label's size for the widget to be large enough */
-        virtual int getHeightNeededAroundLabel() const { return 16; }
+        virtual int getHeightNeededAroundLabel() const { return 8; }
         
         /** Call only if this spinner is graphical. Returns the current texture to display */
         irr::video::ITexture* getTexture();