BZDB.eval("consoleFont") for a font size is no good.  Try BZDB.eval("consoleFontSize")...
BZDB.eval("consoleFont") for a font size is no good.  Try BZDB.eval("consoleFontSize")...

kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1