Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/HeuristicLab.Optimizer/3.3/NewItemDialog.Designer.cs @ 15800

Last change on this file since 15800 was 15583, checked in by swagner, 7 years ago

#2640: Updated year of copyrights in license headers

File size: 21.6 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2018 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
4 *
5 * This file is part of HeuristicLab.
6 *
7 * HeuristicLab is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or
10 * (at your option) any later version.
11 *
12 * HeuristicLab is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
19 */
20#endregion
21
22namespace HeuristicLab.Optimizer {
23  partial class NewItemDialog {
24    /// <summary>
25    /// Required designer variable.
26    /// </summary>
27    private System.ComponentModel.IContainer components = null;
28
29    /// <summary>
30    /// Clean up any resources being used.
31    /// </summary>
32    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
33    protected override void Dispose(bool disposing) {
34      if (disposing && (components != null)) {
35        components.Dispose();
36      }
37      base.Dispose(disposing);
38    }
39
40    #region Windows Form Designer generated code
41
42    /// <summary>
43    /// Required method for Designer support - do not modify
44    /// the contents of this method with the code editor.
45    /// </summary>
46    private void InitializeComponent() {
47      this.components = new System.ComponentModel.Container();
48      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(NewItemDialog));
49      this.okButton = new System.Windows.Forms.Button();
50      this.cancelButton = new System.Windows.Forms.Button();
51      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
52      this.searchLabel = new System.Windows.Forms.Label();
53      this.searchTextBox = new System.Windows.Forms.TextBox();
54      this.clearSearchButton = new System.Windows.Forms.Button();
55      this.splitContainer = new System.Windows.Forms.SplitContainer();
56      this.availableItemsGroupBox = new System.Windows.Forms.GroupBox();
57      this.typesTreeView = new System.Windows.Forms.TreeView();
58      this.imageList = new System.Windows.Forms.ImageList(this.components);
59      this.descriptionSplitContainer = new System.Windows.Forms.SplitContainer();
60      this.itemGroupBox = new System.Windows.Forms.GroupBox();
61      this.itemDescriptionTextBox = new System.Windows.Forms.TextBox();
62      this.pluginDescriptionGroupBox = new System.Windows.Forms.GroupBox();
63      this.versionTextBox = new System.Windows.Forms.TextBox();
64      this.pluginTextBox = new System.Windows.Forms.TextBox();
65      this.pluginDescriptionTextBox = new System.Windows.Forms.TextBox();
66      this.contextMenuStrip = new System.Windows.Forms.ContextMenuStrip(this.components);
67      this.expandToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
68      this.expandAllToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
69      this.collapseToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
70      this.collapseAllToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
71      this.searchTextBox.SuspendLayout();
72      ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).BeginInit();
73      this.splitContainer.Panel1.SuspendLayout();
74      this.splitContainer.Panel2.SuspendLayout();
75      this.splitContainer.SuspendLayout();
76      this.availableItemsGroupBox.SuspendLayout();
77      ((System.ComponentModel.ISupportInitialize)(this.descriptionSplitContainer)).BeginInit();
78      this.descriptionSplitContainer.Panel1.SuspendLayout();
79      this.descriptionSplitContainer.Panel2.SuspendLayout();
80      this.descriptionSplitContainer.SuspendLayout();
81      this.itemGroupBox.SuspendLayout();
82      this.pluginDescriptionGroupBox.SuspendLayout();
83      this.contextMenuStrip.SuspendLayout();
84      this.SuspendLayout();
85      //
86      // okButton
87      //
88      this.okButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
89      this.okButton.DialogResult = System.Windows.Forms.DialogResult.OK;
90      this.okButton.Enabled = false;
91      this.okButton.Location = new System.Drawing.Point(456, 587);
92      this.okButton.Name = "okButton";
93      this.okButton.Size = new System.Drawing.Size(75, 23);
94      this.okButton.TabIndex = 1;
95      this.okButton.Text = "&OK";
96      this.okButton.UseVisualStyleBackColor = true;
97      this.okButton.Click += new System.EventHandler(this.okButton_Click);
98      //
99      // cancelButton
100      //
101      this.cancelButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
102      this.cancelButton.DialogResult = System.Windows.Forms.DialogResult.Cancel;
103      this.cancelButton.Location = new System.Drawing.Point(537, 587);
104      this.cancelButton.Name = "cancelButton";
105      this.cancelButton.Size = new System.Drawing.Size(75, 23);
106      this.cancelButton.TabIndex = 2;
107      this.cancelButton.Text = "&Cancel";
108      this.cancelButton.UseVisualStyleBackColor = true;
109      //
110      // searchLabel
111      //
112      this.searchLabel.Image = HeuristicLab.Common.Resources.VSImageLibrary.Zoom;
113      this.searchLabel.Location = new System.Drawing.Point(6, 17);
114      this.searchLabel.Name = "searchLabel";
115      this.searchLabel.Size = new System.Drawing.Size(20, 20);
116      this.searchLabel.TabIndex = 0;
117      this.toolTip.SetToolTip(this.searchLabel, "Enter string to search for items");
118      //
119      // searchTextBox
120      //
121      this.searchTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
122            | System.Windows.Forms.AnchorStyles.Left)
123            | System.Windows.Forms.AnchorStyles.Right)));
124      this.searchTextBox.Controls.Add(this.clearSearchButton);
125      this.searchTextBox.Location = new System.Drawing.Point(32, 17);
126      this.searchTextBox.Name = "searchTextBox";
127      this.searchTextBox.Size = new System.Drawing.Size(562, 20);
128      this.searchTextBox.TabIndex = 1;
129      this.toolTip.SetToolTip(this.searchTextBox, "Filters the available Items.\r\nThe search term is tokenized by space and a name ha" +
130        "s to contain all tokens to be displayed.\r\n(E.g. \"Sym Reg\" matches \"Symbolic Regr" +
131        "ession\")");
132      this.searchTextBox.TextChanged += new System.EventHandler(this.searchTextBox_TextChanged);
133      this.searchTextBox.KeyDown += new System.Windows.Forms.KeyEventHandler(this.searchTextBox_KeyDown);
134      //
135      // clearSearchButton
136      //
137      this.clearSearchButton.BackColor = System.Drawing.Color.Transparent;
138      this.clearSearchButton.Cursor = System.Windows.Forms.Cursors.Default;
139      this.clearSearchButton.Dock = System.Windows.Forms.DockStyle.Right;
140      this.clearSearchButton.FlatAppearance.BorderSize = 0;
141      this.clearSearchButton.FlatStyle = System.Windows.Forms.FlatStyle.Flat;
142      this.clearSearchButton.ForeColor = System.Drawing.Color.Transparent;
143      this.clearSearchButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Delete;
144      this.clearSearchButton.Location = new System.Drawing.Point(543, 0);
145      this.clearSearchButton.Margin = new System.Windows.Forms.Padding(0);
146      this.clearSearchButton.Name = "clearSearchButton";
147      this.clearSearchButton.Size = new System.Drawing.Size(15, 16);
148      this.clearSearchButton.TabIndex = 0;
149      this.clearSearchButton.TabStop = false;
150      this.clearSearchButton.UseVisualStyleBackColor = false;
151      this.clearSearchButton.Click += new System.EventHandler(this.clearSearchButton_Click);
152      //
153      // splitContainer
154      //
155      this.splitContainer.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
156            | System.Windows.Forms.AnchorStyles.Left)
157            | System.Windows.Forms.AnchorStyles.Right)));
158      this.splitContainer.FixedPanel = System.Windows.Forms.FixedPanel.Panel2;
159      this.splitContainer.Location = new System.Drawing.Point(12, 12);
160      this.splitContainer.Name = "splitContainer";
161      this.splitContainer.Orientation = System.Windows.Forms.Orientation.Horizontal;
162      //
163      // splitContainer.Panel1
164      //
165      this.splitContainer.Panel1.Controls.Add(this.availableItemsGroupBox);
166      //
167      // splitContainer.Panel2
168      //
169      this.splitContainer.Panel2.Controls.Add(this.descriptionSplitContainer);
170      this.splitContainer.Size = new System.Drawing.Size(600, 569);
171      this.splitContainer.SplitterDistance = 373;
172      this.splitContainer.TabIndex = 0;
173      this.splitContainer.TabStop = false;
174      //
175      // availableItemsGroupBox
176      //
177      this.availableItemsGroupBox.Controls.Add(this.searchLabel);
178      this.availableItemsGroupBox.Controls.Add(this.searchTextBox);
179      this.availableItemsGroupBox.Controls.Add(this.typesTreeView);
180      this.availableItemsGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
181      this.availableItemsGroupBox.Location = new System.Drawing.Point(0, 0);
182      this.availableItemsGroupBox.Name = "availableItemsGroupBox";
183      this.availableItemsGroupBox.Padding = new System.Windows.Forms.Padding(3, 15, 3, 3);
184      this.availableItemsGroupBox.Size = new System.Drawing.Size(600, 373);
185      this.availableItemsGroupBox.TabIndex = 5;
186      this.availableItemsGroupBox.TabStop = false;
187      this.availableItemsGroupBox.Text = "Available Items";
188      //
189      // typesTreeView
190      //
191      this.typesTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
192            | System.Windows.Forms.AnchorStyles.Left)
193            | System.Windows.Forms.AnchorStyles.Right)));
194      this.typesTreeView.HideSelection = false;
195      this.typesTreeView.ImageIndex = 0;
196      this.typesTreeView.ImageList = this.imageList;
197      this.typesTreeView.Location = new System.Drawing.Point(6, 41);
198      this.typesTreeView.Name = "typesTreeView";
199      this.typesTreeView.SelectedImageIndex = 0;
200      this.typesTreeView.ShowNodeToolTips = true;
201      this.typesTreeView.Size = new System.Drawing.Size(588, 326);
202      this.typesTreeView.TabIndex = 2;
203      this.typesTreeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.itemsTreeView_AfterSelect);
204      this.typesTreeView.VisibleChanged += new System.EventHandler(this.itemsTreeView_VisibleChanged);
205      this.typesTreeView.DoubleClick += new System.EventHandler(this.itemTreeView_DoubleClick);
206      this.typesTreeView.MouseDown += new System.Windows.Forms.MouseEventHandler(this.typesTreeView_MouseDown);
207      //
208      // imageList
209      //
210      this.imageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
211      this.imageList.ImageSize = new System.Drawing.Size(16, 16);
212      this.imageList.TransparentColor = System.Drawing.Color.Transparent;
213      //
214      // descriptionSplitContainer
215      //
216      this.descriptionSplitContainer.Dock = System.Windows.Forms.DockStyle.Fill;
217      this.descriptionSplitContainer.Location = new System.Drawing.Point(0, 0);
218      this.descriptionSplitContainer.Name = "descriptionSplitContainer";
219      this.descriptionSplitContainer.Orientation = System.Windows.Forms.Orientation.Horizontal;
220      //
221      // descriptionSplitContainer.Panel1
222      //
223      this.descriptionSplitContainer.Panel1.Controls.Add(this.itemGroupBox);
224      //
225      // descriptionSplitContainer.Panel2
226      //
227      this.descriptionSplitContainer.Panel2.Controls.Add(this.pluginDescriptionGroupBox);
228      this.descriptionSplitContainer.Size = new System.Drawing.Size(600, 192);
229      this.descriptionSplitContainer.SplitterDistance = 81;
230      this.descriptionSplitContainer.TabIndex = 1;
231      this.descriptionSplitContainer.TabStop = false;
232      //
233      // itemGroupBox
234      //
235      this.itemGroupBox.Controls.Add(this.itemDescriptionTextBox);
236      this.itemGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
237      this.itemGroupBox.Location = new System.Drawing.Point(0, 0);
238      this.itemGroupBox.Name = "itemGroupBox";
239      this.itemGroupBox.Size = new System.Drawing.Size(600, 81);
240      this.itemGroupBox.TabIndex = 1;
241      this.itemGroupBox.TabStop = false;
242      this.itemGroupBox.Text = "Item";
243      //
244      // itemDescriptionTextBox
245      //
246      this.itemDescriptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
247            | System.Windows.Forms.AnchorStyles.Left)
248            | System.Windows.Forms.AnchorStyles.Right)));
249      this.itemDescriptionTextBox.Font = new System.Drawing.Font("Courier New", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
250      this.itemDescriptionTextBox.Location = new System.Drawing.Point(6, 19);
251      this.itemDescriptionTextBox.Multiline = true;
252      this.itemDescriptionTextBox.Name = "itemDescriptionTextBox";
253      this.itemDescriptionTextBox.ReadOnly = true;
254      this.itemDescriptionTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
255      this.itemDescriptionTextBox.Size = new System.Drawing.Size(588, 56);
256      this.itemDescriptionTextBox.TabIndex = 0;
257      this.itemDescriptionTextBox.TabStop = false;
258      //
259      // pluginDescriptionGroupBox
260      //
261      this.pluginDescriptionGroupBox.Controls.Add(this.versionTextBox);
262      this.pluginDescriptionGroupBox.Controls.Add(this.pluginTextBox);
263      this.pluginDescriptionGroupBox.Controls.Add(this.pluginDescriptionTextBox);
264      this.pluginDescriptionGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
265      this.pluginDescriptionGroupBox.Location = new System.Drawing.Point(0, 0);
266      this.pluginDescriptionGroupBox.Name = "pluginDescriptionGroupBox";
267      this.pluginDescriptionGroupBox.Size = new System.Drawing.Size(600, 107);
268      this.pluginDescriptionGroupBox.TabIndex = 1;
269      this.pluginDescriptionGroupBox.TabStop = false;
270      this.pluginDescriptionGroupBox.Text = "Plugin";
271      //
272      // versionTextBox
273      //
274      this.versionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
275      this.versionTextBox.Location = new System.Drawing.Point(444, 20);
276      this.versionTextBox.Name = "versionTextBox";
277      this.versionTextBox.ReadOnly = true;
278      this.versionTextBox.Size = new System.Drawing.Size(150, 20);
279      this.versionTextBox.TabIndex = 0;
280      this.versionTextBox.TabStop = false;
281      //
282      // pluginTextBox
283      //
284      this.pluginTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
285            | System.Windows.Forms.AnchorStyles.Right)));
286      this.pluginTextBox.Location = new System.Drawing.Point(6, 20);
287      this.pluginTextBox.Name = "pluginTextBox";
288      this.pluginTextBox.ReadOnly = true;
289      this.pluginTextBox.Size = new System.Drawing.Size(432, 20);
290      this.pluginTextBox.TabIndex = 0;
291      this.pluginTextBox.TabStop = false;
292      //
293      // pluginDescriptionTextBox
294      //
295      this.pluginDescriptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
296            | System.Windows.Forms.AnchorStyles.Left)
297            | System.Windows.Forms.AnchorStyles.Right)));
298      this.pluginDescriptionTextBox.Font = new System.Drawing.Font("Courier New", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
299      this.pluginDescriptionTextBox.Location = new System.Drawing.Point(6, 46);
300      this.pluginDescriptionTextBox.Multiline = true;
301      this.pluginDescriptionTextBox.Name = "pluginDescriptionTextBox";
302      this.pluginDescriptionTextBox.ReadOnly = true;
303      this.pluginDescriptionTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
304      this.pluginDescriptionTextBox.Size = new System.Drawing.Size(588, 55);
305      this.pluginDescriptionTextBox.TabIndex = 0;
306      this.pluginDescriptionTextBox.TabStop = false;
307      //
308      // contextMenuStrip
309      //
310      this.contextMenuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
311            this.expandToolStripMenuItem,
312            this.expandAllToolStripMenuItem,
313            this.collapseToolStripMenuItem,
314            this.collapseAllToolStripMenuItem});
315      this.contextMenuStrip.Name = "contextMenuStrip";
316      this.contextMenuStrip.Size = new System.Drawing.Size(137, 92);
317      //
318      // expandToolStripMenuItem
319      //
320      this.expandToolStripMenuItem.Name = "expandToolStripMenuItem";
321      this.expandToolStripMenuItem.Size = new System.Drawing.Size(136, 22);
322      this.expandToolStripMenuItem.Text = "Expand";
323      this.expandToolStripMenuItem.Click += new System.EventHandler(this.expandToolStripMenuItem_Click);
324      //
325      // expandAllToolStripMenuItem
326      //
327      this.expandAllToolStripMenuItem.Name = "expandAllToolStripMenuItem";
328      this.expandAllToolStripMenuItem.Size = new System.Drawing.Size(136, 22);
329      this.expandAllToolStripMenuItem.Text = "Expand All";
330      this.expandAllToolStripMenuItem.Click += new System.EventHandler(this.expandAllToolStripMenuItem_Click);
331      //
332      // collapseToolStripMenuItem
333      //
334      this.collapseToolStripMenuItem.Name = "collapseToolStripMenuItem";
335      this.collapseToolStripMenuItem.Size = new System.Drawing.Size(136, 22);
336      this.collapseToolStripMenuItem.Text = "Collapse";
337      this.collapseToolStripMenuItem.Click += new System.EventHandler(this.collapseToolStripMenuItem_Click);
338      //
339      // collapseAllToolStripMenuItem
340      //
341      this.collapseAllToolStripMenuItem.Name = "collapseAllToolStripMenuItem";
342      this.collapseAllToolStripMenuItem.Size = new System.Drawing.Size(136, 22);
343      this.collapseAllToolStripMenuItem.Text = "Collapse All";
344      this.collapseAllToolStripMenuItem.Click += new System.EventHandler(this.collapseAllToolStripMenuItem_Click);
345      //
346      // NewItemDialog
347      //
348      this.AcceptButton = this.okButton;
349      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
350      this.CancelButton = this.cancelButton;
351      this.ClientSize = new System.Drawing.Size(624, 622);
352      this.Controls.Add(this.splitContainer);
353      this.Controls.Add(this.cancelButton);
354      this.Controls.Add(this.okButton);
355      this.MaximizeBox = false;
356      this.MinimizeBox = false;
357      this.Name = "NewItemDialog";
358      this.ShowIcon = false;
359      this.ShowInTaskbar = false;
360      this.StartPosition = System.Windows.Forms.FormStartPosition.CenterParent;
361      this.Text = "New Item";
362      this.TopMost = true;
363      this.Load += new System.EventHandler(this.NewItemDialog_Load);
364      this.Shown += new System.EventHandler(this.NewItemDialog_Shown);
365      this.searchTextBox.ResumeLayout(false);
366      this.splitContainer.Panel1.ResumeLayout(false);
367      this.splitContainer.Panel2.ResumeLayout(false);
368      ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).EndInit();
369      this.splitContainer.ResumeLayout(false);
370      this.availableItemsGroupBox.ResumeLayout(false);
371      this.availableItemsGroupBox.PerformLayout();
372      this.descriptionSplitContainer.Panel1.ResumeLayout(false);
373      this.descriptionSplitContainer.Panel2.ResumeLayout(false);
374      ((System.ComponentModel.ISupportInitialize)(this.descriptionSplitContainer)).EndInit();
375      this.descriptionSplitContainer.ResumeLayout(false);
376      this.itemGroupBox.ResumeLayout(false);
377      this.itemGroupBox.PerformLayout();
378      this.pluginDescriptionGroupBox.ResumeLayout(false);
379      this.pluginDescriptionGroupBox.PerformLayout();
380      this.contextMenuStrip.ResumeLayout(false);
381      this.ResumeLayout(false);
382
383    }
384
385    #endregion
386
387    private System.Windows.Forms.Button okButton;
388    private System.Windows.Forms.Button cancelButton;
389    private System.Windows.Forms.ToolTip toolTip;
390    private System.Windows.Forms.SplitContainer splitContainer;
391    private System.Windows.Forms.TextBox pluginDescriptionTextBox;
392    private System.Windows.Forms.Label searchLabel;
393    private System.Windows.Forms.TextBox searchTextBox;
394    private System.Windows.Forms.TreeView typesTreeView;
395    private System.Windows.Forms.ImageList imageList;
396    private System.Windows.Forms.GroupBox availableItemsGroupBox;
397    private System.Windows.Forms.GroupBox pluginDescriptionGroupBox;
398    private System.Windows.Forms.TextBox versionTextBox;
399    private System.Windows.Forms.TextBox pluginTextBox;
400    private System.Windows.Forms.ContextMenuStrip contextMenuStrip;
401    private System.Windows.Forms.ToolStripMenuItem expandToolStripMenuItem;
402    private System.Windows.Forms.ToolStripMenuItem expandAllToolStripMenuItem;
403    private System.Windows.Forms.ToolStripMenuItem collapseToolStripMenuItem;
404    private System.Windows.Forms.ToolStripMenuItem collapseAllToolStripMenuItem;
405    private System.Windows.Forms.Button clearSearchButton;
406    private System.Windows.Forms.GroupBox itemGroupBox;
407    private System.Windows.Forms.TextBox itemDescriptionTextBox;
408    private System.Windows.Forms.SplitContainer descriptionSplitContainer;
409  }
410}
Note: See TracBrowser for help on using the repository browser.