diff --git a/src/frontends/qt4/GuiSymbols.cpp b/src/frontends/qt4/GuiSymbols.cpp index 80d06483a5..87e26b206a 100644 --- a/src/frontends/qt4/GuiSymbols.cpp +++ b/src/frontends/qt4/GuiSymbols.cpp @@ -173,7 +173,7 @@ QString getBlock(char_type c) // guessing was wrong so far. do a real search. int i = 0; - while (c > unicode_blocks[i].end && i < no_blocks) + while (i < no_blocks && c > unicode_blocks[i].end) ++i; if (i == no_blocks) return QString(); @@ -219,8 +219,6 @@ public: static QString const strCharacter = qt_("Character: "); static QString const strCodePoint = qt_("Code Point: "); - static char codeName[10]; - char_type c = symbols_.at(index.row()); switch (role) {