X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2FFontList.cpp;h=9ccdfee55479be99d0dd85fafcf4d1da912b3dc7;hb=4480b72a9dc8a5453a17edf55d4d4a60847a68ae;hp=1c763e161e589ed2e79f1df1a0d59b408803b531;hpb=3e9e6e344ace9160f93fd882bf2243d24a069fa5;p=lyx.git

diff --git a/src/FontList.cpp b/src/FontList.cpp
index 1c763e161e..9ccdfee554 100644
--- a/src/FontList.cpp
+++ b/src/FontList.cpp
@@ -20,9 +20,7 @@
 
 #include "FontList.h"
 
-#include <boost/next_prior.hpp>
-
-#include <algorithm>
+#include "support/lyxalgo.h"
 
 using namespace std;
 
@@ -71,8 +69,8 @@ void FontList::erase(pos_type pos)
 	iterator it = fontIterator(pos);
 	iterator beg = list_.begin();
 	if (it != list_.end() && it->pos() == pos
-		&& (pos == 0 
-			|| (it != list_.begin() && boost::prior(it)->pos() == pos - 1))) {
+		&& (pos == 0
+			|| (it != list_.begin() && prev(it, 1)->pos() == pos - 1))) {
 
 		// If it is a multi-character font
 		// entry, we just make it smaller
@@ -137,7 +135,7 @@ void FontList::set(pos_type pos, Font const & font)
 	size_t const i = distance(list_.begin(), it);
 
 	// Is position pos a beginning of a font block?
-	bool const begin = pos == 0 || !found 
+	bool const begin = pos == 0 || !found
 		|| (i > 0 && list_[i - 1].pos() == pos - 1);
 
 	// Is position pos at the end of a font block?
@@ -182,31 +180,6 @@ void FontList::set(pos_type pos, Font const & font)
 }
 
 
-FontSize FontList::highestInRange(pos_type startpos, pos_type endpos,
-	FontSize def_size) const
-{
-	if (list_.empty())
-		return def_size;
-
-	List::const_iterator end_it = fontIterator(endpos);
-	const_iterator const end = list_.end();
-	if (end_it != end)
-		++end_it;
-
-	List::const_iterator cit = fontIterator(startpos);
-
-	FontSize maxsize = FONT_SIZE_TINY;
-	for (; cit != end_it; ++cit) {
-		FontSize size = cit->font().fontInfo().size();
-		if (size == FONT_SIZE_INHERIT)
-			size = def_size;
-		if (size > maxsize && size <= FONT_SIZE_HUGER)
-			maxsize = size;
-	}
-	return maxsize;
-}
-
-
 void FontList::validate(LaTeXFeatures & features) const
 {
 	const_iterator fcit = list_.begin();