Ticket #96: font_size.patch

File font_size.patch, 1.1 KB (added by Elie De Brauwer <elie@…>, 10 years ago)

Add font size setting

  • settings-dist.xml

     
    1313        <MapFile> maps/map.xml </MapFile> 
    1414        <Font> fonts/samanata.ttf </Font> 
    1515        <FontGlyphs> abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789.,!?-+/():;%&amp;`'*#=[]\"</FontGlyphs> 
     16        <FontSize>12</FontSize> 
    1617        <LogModules> controller </LogModules> 
    1718        <LogToPrompt> 0 </LogToPrompt> 
    1819        <LogToFile> 0 </LogToFile> 
  • run.py

     
    113113        eSet.setDefaultFontGlyphs(str(TDS.readSetting("FontGlyphs", 
    114114                                                      strip=False))) 
    115115        eSet.setDefaultFontPath(str(TDS.readSetting("Font"))) 
     116        eSet.setDefaultFontSize(int(TDS.readSetting("FontSize"))) 
    116117        eSet.setBitsPerPixel(int(TDS.readSetting("BitsPerPixel"))) 
    117118        eSet.setInitialVolume(float(TDS.readSetting("InitialVolume"))) 
    118119        eSet.setSDLRemoveFakeAlpha(int(TDS.readSetting("SDLRemoveFakeAlpha")))