Add document statistics to statusbar.

[features.git] / src / frontends / FontMetrics.h

diff --git a/src/frontends/FontMetrics.h b/src/frontends/FontMetrics.h
index 66cd22d439c3b08feb3b1dfa18e9e72dc3f433cb..f3952706aeb5e7f6de38f1b96c802bc4b14932eb 100644 (file)
--- a/src/frontends/FontMetrics.h
+++ b/src/frontends/FontMetrics.h
@@ -168,10 +168,6 @@ public:
                int & width,
                int & ascent,
                int & descent) const = 0;
-
-       /// return the number of expanding characters taken into account for
-       /// increased inter-word spacing during justification
-       virtual int countExpanders(docstring const & str) const = 0;
 };