propProgramTableBackgroundSingleColor, propProgramPanelAllowTransparency};
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,
propProgramTableCutTitleLines, propPictureDescriptionLines,
propProgramPanelMaxLines, propProgramPanelShortDurationActive,
propProgramPanelShortDurationMinutes};
if(mProp.hasChanged(propArr)) {
mainFrame.getProgramTableScrollPane().forceRepaintAll();
}
if(mProp.hasChanged(propProgramPanelHyphenation)) {
TextLineBreakerStringWidth.resetHyphenator();
mainFrame.getProgramTableScrollPane().forceRepaintAll();
}
if (mProp.hasChanged(propColumnWidth)) {
util.ui.ProgramPanel.updateColumnWidth();
ProgramTableScrollPane scrollPane = mainFrame.getProgramTableScrollPane();
scrollPane.setColumnWidth(propColumnWidth.getInt());
scrollPane.forceRepaintAll();
}
if (mProp.hasChanged(propTableLayout)) {
ProgramTableScrollPane scrollPane = mainFrame.getProgramTableScrollPane();
scrollPane.getProgramTable().setProgramTableLayout(null);
scrollPane.getProgramTable().updateBackground();
scrollPane.forceRepaintAll();
}
if (mProp.hasChanged(propDeactivatedPlugins)) {
mainFrame.updatePluginsMenu();
mainFrame.updateToolbar();
}
propArr = new Property[] { propTableBackgroundStyle,
propOneImageBackground, propTimeBlockSize, propTimeBlockBackground1,
propTimeBlockBackground2, propTimeBlockShowWest,
propTimeBlockWestImage1, propTimeBlockWestImage2,
propTimeOfDayBackgroundEdge, propTimeOfDayBackgroundEarly,
propTimeOfDayBackgroundMidday, propTimeOfDayBackgroundAfternoon,
propTimeOfDayBackgroundEvening };
if (mProp.hasChanged(propArr)) {
ProgramTableScrollPane scrollPane = mainFrame.getProgramTableScrollPane();
scrollPane.getProgramTable().updateBackground();
mainFrame.getProgramTableScrollPane().forceRepaintAll();
}
if(mProp.hasChanged(propTimeBlockSize)) {
mainFrame.getProgramTableScrollPane().forceRepaintAll();