Method code for $channel_ui._del_active_channel()

[Turn off line numbering]

---

  1: arg key;
  2: 
  3: active_channels = active_channels.del(key);

---

// Created 24-Jul-1996 as a part of ColdCore, see: @help Credit