/// <summary>
 /// Creates a new instance.
 /// </summary>
 public IWorkspaceWindowEnumerator(WorkbenchWindowCollection mappings)
 {
     this.temp = ((IEnumerable)(mappings));
     this.baseEnumerator = temp.GetEnumerator();
 }
 /// <summary>
 ///     <para>
 ///       Initializes a new instance of <see cref="WorkspaceWindowCollection"/> based on another <see cref="WorkspaceWindowCollection"/>.
 ///    </para>
 /// </summary>
 /// <param name="value">
 ///       A <see cref="WorkspaceWindowCollection"/> from which the contents are copied
 /// </param>
 public WorkbenchWindowCollection(WorkbenchWindowCollection value)
 {
     this.AddRange(value);
 }
 /// <summary>
 ///     <para>
 ///       Adds the contents of another <see cref="WorkspaceWindowCollection"/> to the end of the collection.
 ///    </para>
 /// </summary>
 /// <param name="value">
 ///    A <see cref="WorkspaceWindowCollection"/> containing the objects to add to the collection.
 /// </param>
 /// <returns>
 ///   <para>None.</para>
 /// </returns>
 /// <seealso cref="WorkspaceWindowCollection.Add"/>
 public void AddRange(WorkbenchWindowCollection value)
 {
     for (int i = 0; (i < value.Count); i = (i + 1)) {
         this.Add(value[i]);
     }
 }