if (mProp.hasChanged(propArr)) {
util.ui.ProgramPanel.updateFonts();
tvbrowser.ui.programtable.ChannelPanel.fontChanged();
ProgramTableScrollPane scrollPane = mainFrame.getProgramTableScrollPane();
scrollPane.forceRepaintAll();
}
propArr = new Property[] {propPictureType, propPictureStartTime,
propPictureEndTime, propIsPictureShowingDescription, propPicturePluginIds,
propPictureDuration, propProgramTableCutTitle,