smaller fonts for display and console

This commit is contained in:
Titus Tscharntke 2010-04-04 16:48:42 +00:00
parent c51a4ca35f
commit 8681a551a1
2 changed files with 3 additions and 3 deletions

View File

@ -83,7 +83,7 @@ void CoreData::load(){
Config &config= Config::getInstance();
string displayFontNamePrefix=config.getString("FontDisplayPrefix");
string displayFontNamePostfix=config.getString("FontDisplayPostfix");
int displayFontSize=computeFontSize(15);
int displayFontSize=computeFontSize(12);
string displayFontName=displayFontNamePrefix+intToStr(displayFontSize)+displayFontNamePostfix;
displayFont= renderer.newFont(rsGlobal);
displayFont->setType(displayFontName);
@ -101,7 +101,7 @@ void CoreData::load(){
string menuFontNameNormalPrefix= config.getString("FontMenuNormalPrefix");
string menuFontNameNormalPostfix= config.getString("FontMenuNormalPostfix");
int menuFontNameNormalSize=computeFontSize(13);
int menuFontNameNormalSize=computeFontSize(14);
string menuFontNameNormal= menuFontNameNormalPrefix+intToStr(menuFontNameNormalSize)+menuFontNameNormalPostfix;
menuFontNormal= renderer.newFont(rsGlobal);
menuFontNormal->setType(menuFontNameNormal);

View File

@ -114,7 +114,7 @@ MenuStateOptions::MenuStateOptions(Program *program, MainMenu *mainMenu):
labelServerPort.init(leftColumnStart,leftline);
string port=intToStr(config.getInt("ServerPort"));
if(port!="61357"){
port=port +" ("+lang.get("NonStandardPort")+")";
port=port +" ("+lang.get("NonStandardPort")+"!!)";
}
else{
port=port +" ("+lang.get("StandardPort")+")";