int fontSize = Preferences.getFontSize();
if(fontSize != 0)
DisplayMatchesPanel.getInstance().setFontSize(Preferences.getFontSize());
//advanced stuff
HeadFinder hf = Preferences.getHeadFinder();
InputPanel.getInstance().setHeadFinder(hf);
TreeReaderFactory trf = Preferences.getTreeReaderFactory();
FilePanel.getInstance().setTreeReaderFactory(trf);
String hfName = hf.getClass().getSimpleName();
String trfName = trf.getClass().getSimpleName();
String encoding = Preferences.getEncoding();
if(encoding != null && !encoding.equals(""))
FileTreeModel.setCurEncoding(encoding);
if (PreferencesPanel.isChinese(hfName, trfName))