diff --git a/src/ViewText.cpp b/src/ViewText.cpp
index 6a6943747..6eaeae9db 100644
--- a/src/ViewText.cpp
+++ b/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)
 {
diff --git a/src/ViewText.h b/src/ViewText.h
index 9873f104e..8477d17d0 100644
--- a/src/ViewText.h
+++ b/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.