From 72b1d08a3318d21666e7f406015562389501320a Mon Sep 17 00:00:00 2001
From: Paul Beckingham <paul@beckingham.net>
Date: Fri, 17 Jul 2015 14:13:31 -0400
Subject: [PATCH] ViewText: Dead code removal

---
 src/ViewText.cpp | 11 -----------
 src/ViewText.h   |  1 -
 2 files changed, 12 deletions(-)

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.