ViewText: Dead code removal

src/ViewText.cpp

@@ -91,17 +91,6 @@ void ViewText::set (int row, int col, int value, Color color)
     _color[row][col] = color;
 }
 
-////////////////////////////////////////////////////////////////////////////////
-void ViewText::set (int row, int col, float value, int width, int precision, Color color)
-{
-  std::string string_value = format ((float)value, width, precision);
-  _data[row][col] = string_value;
-
-  if (color.nontrivial () &&
-      context.color ())
-    _color[row][col] = color;
-}
-
 ////////////////////////////////////////////////////////////////////////////////
 void ViewText::set (int row, int col, Color color)
 {

src/ViewText.h

@@ -61,7 +61,6 @@ public:
   int addRow ();
   void set (int, int, const std::string&, Color color = Color::nocolor);
   void set (int, int, int, Color color = Color::nocolor);
-  void set (int, int, float, int, int, Color color = Color::nocolor);
   void set (int, int, Color);
 
   // View rendering.