mainFrame.updateTimeButtons();
}
if (mProp.hasChanged(propSubscribedChannels)) {
ChannelList.reload();
DefaultProgramTableModel model = mainFrame.getProgramTableModel();
model.setChannels(ChannelList.getSubscribedChannels());
mainFrame.updateChannellist();
}
propArr = new Property[] { propProgramTableStartOfDay,
propProgramTableEndOfDay };
if (mProp.hasChanged(propArr)) {
DefaultProgramTableModel model = mainFrame.getProgramTableModel();
int startOfDay = propProgramTableStartOfDay.getInt();
int endOfDay = propProgramTableEndOfDay.getInt();
model.setTimeRange(startOfDay, endOfDay);
model.setDate(mainFrame.getCurrentSelectedDate(), null, null);
}
propArr = new Property[] { propProgramTableIconPlugins,
propProgramInfoFields };
if (mProp.hasChanged(propArr)) {
// Force a recreation of the table content
DefaultProgramTableModel model = mainFrame.getProgramTableModel();
model.setDate(mainFrame.getCurrentSelectedDate(), null, null);
}
propArr = new Property[] {
propShowChannelIconsInProgramTable, propShowChannelIconsInChannellist,
propShowChannelNamesInProgramTable, propShowChannelNamesInChannellist };