278 |
|
|
279 |
} |
} |
280 |
|
|
281 |
|
/** |
282 |
|
* Determines whether the channel list UI should be automatically updated |
283 |
|
* when channel is added/removed. The default value is <code>true</code>. |
284 |
|
* @see updateChannelListUI |
285 |
|
*/ |
286 |
|
public boolean |
287 |
|
getAutoUpdate() { return chnList.getAutoUpdate(); } |
288 |
|
|
289 |
|
/** |
290 |
|
* Determines whether the channel list UI should be automatically updated |
291 |
|
* when channel is added/removed. |
292 |
|
* @see updateChannelListUI |
293 |
|
*/ |
294 |
|
public void |
295 |
|
setAutoUpdate(boolean b) { chnList.setAutoUpdate(b); } |
296 |
|
|
297 |
|
/** |
298 |
|
* Updates the channel list UI. |
299 |
|
* @see setAutoUpdate |
300 |
|
*/ |
301 |
|
public void |
302 |
|
updateChannelListUI() { chnList.updateList(); } |
303 |
|
|
304 |
|
|
305 |
public void |
public void |
306 |
moveSelectedChannelsOnTop() { |
moveSelectedChannelsOnTop() { |