Free cookie consent management tool by TermsFeed Policy Generator

source: branches/histogram/HeuristicLab.Analysis.Views/3.3/DataRowVisualPropertiesControl.Designer.cs @ 6014

Last change on this file since 6014 was 6014, checked in by abeham, 13 years ago

#1465

  • added option to set fixed minimum and maximum for all four possible axis
  • added an icon to the properties context menu entry
    • added dependency from ChartControlsExtensions to Common.Resources
File size: 21.2 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2011 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.Analysis.Views {
23  partial class DataRowVisualPropertiesControl {
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 Component 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.chartTypeComboBox = new System.Windows.Forms.ComboBox();
48      this.colorDialog = new System.Windows.Forms.ColorDialog();
49      this.colorButton = new System.Windows.Forms.Button();
50      this.startIndexZeroCheckBox = new System.Windows.Forms.CheckBox();
51      this.binsNumericUpDown = new System.Windows.Forms.NumericUpDown();
52      this.label1 = new System.Windows.Forms.Label();
53      this.label2 = new System.Windows.Forms.Label();
54      this.label3 = new System.Windows.Forms.Label();
55      this.commonGroupBox = new System.Windows.Forms.GroupBox();
56      this.panel2 = new System.Windows.Forms.Panel();
57      this.xAxisPrimaryRadioButton = new System.Windows.Forms.RadioButton();
58      this.xAxisSecondaryRadioButton = new System.Windows.Forms.RadioButton();
59      this.panel1 = new System.Windows.Forms.Panel();
60      this.yAxisSecondaryRadioButton = new System.Windows.Forms.RadioButton();
61      this.yAxisPrimaryRadioButton = new System.Windows.Forms.RadioButton();
62      this.label6 = new System.Windows.Forms.Label();
63      this.histoGramGroupBox = new System.Windows.Forms.GroupBox();
64      this.panel3 = new System.Windows.Forms.Panel();
65      this.binsApproximatelyRadioButton = new System.Windows.Forms.RadioButton();
66      this.binsExactRadioButton = new System.Windows.Forms.RadioButton();
67      this.lineChartGroupBox = new System.Windows.Forms.GroupBox();
68      this.lineWidthNumericUpDown = new System.Windows.Forms.NumericUpDown();
69      this.label4 = new System.Windows.Forms.Label();
70      this.label7 = new System.Windows.Forms.Label();
71      this.lineStyleComboBox = new System.Windows.Forms.ComboBox();
72      this.label8 = new System.Windows.Forms.Label();
73      this.label5 = new System.Windows.Forms.Label();
74      this.axisGroupBox = new System.Windows.Forms.GroupBox();
75      ((System.ComponentModel.ISupportInitialize)(this.binsNumericUpDown)).BeginInit();
76      this.commonGroupBox.SuspendLayout();
77      this.panel2.SuspendLayout();
78      this.panel1.SuspendLayout();
79      this.histoGramGroupBox.SuspendLayout();
80      this.panel3.SuspendLayout();
81      this.lineChartGroupBox.SuspendLayout();
82      ((System.ComponentModel.ISupportInitialize)(this.lineWidthNumericUpDown)).BeginInit();
83      this.axisGroupBox.SuspendLayout();
84      this.SuspendLayout();
85      //
86      // chartTypeComboBox
87      //
88      this.chartTypeComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
89      this.chartTypeComboBox.FormattingEnabled = true;
90      this.chartTypeComboBox.Location = new System.Drawing.Point(76, 19);
91      this.chartTypeComboBox.Name = "chartTypeComboBox";
92      this.chartTypeComboBox.Size = new System.Drawing.Size(224, 21);
93      this.chartTypeComboBox.TabIndex = 1;
94      this.chartTypeComboBox.SelectedValueChanged += new System.EventHandler(this.chartTypeComboBox_SelectedValueChanged);
95      //
96      // colorDialog
97      //
98      this.colorDialog.Color = System.Drawing.Color.FromArgb(((int)(((byte)(128)))), ((int)(((byte)(128)))), ((int)(((byte)(255)))));
99      //
100      // colorButton
101      //
102      this.colorButton.BackColor = System.Drawing.SystemColors.Control;
103      this.colorButton.Location = new System.Drawing.Point(76, 46);
104      this.colorButton.Name = "colorButton";
105      this.colorButton.Size = new System.Drawing.Size(23, 23);
106      this.colorButton.TabIndex = 3;
107      this.colorButton.UseVisualStyleBackColor = false;
108      this.colorButton.Click += new System.EventHandler(this.colorButton_Click);
109      //
110      // startIndexZeroCheckBox
111      //
112      this.startIndexZeroCheckBox.AutoSize = true;
113      this.startIndexZeroCheckBox.CheckAlign = System.Drawing.ContentAlignment.MiddleRight;
114      this.startIndexZeroCheckBox.Location = new System.Drawing.Point(96, 46);
115      this.startIndexZeroCheckBox.Name = "startIndexZeroCheckBox";
116      this.startIndexZeroCheckBox.Size = new System.Drawing.Size(15, 14);
117      this.startIndexZeroCheckBox.TabIndex = 3;
118      this.startIndexZeroCheckBox.UseVisualStyleBackColor = true;
119      this.startIndexZeroCheckBox.CheckedChanged += new System.EventHandler(this.startIndexZeroCheckBox_CheckedChanged);
120      //
121      // binsNumericUpDown
122      //
123      this.binsNumericUpDown.Location = new System.Drawing.Point(44, 19);
124      this.binsNumericUpDown.Minimum = new decimal(new int[] {
125            1,
126            0,
127            0,
128            0});
129      this.binsNumericUpDown.Name = "binsNumericUpDown";
130      this.binsNumericUpDown.Size = new System.Drawing.Size(96, 20);
131      this.binsNumericUpDown.TabIndex = 1;
132      this.binsNumericUpDown.Value = new decimal(new int[] {
133            1,
134            0,
135            0,
136            0});
137      this.binsNumericUpDown.ValueChanged += new System.EventHandler(this.binsNumericUpDown_ValueChanged);
138      //
139      // label1
140      //
141      this.label1.AutoSize = true;
142      this.label1.Location = new System.Drawing.Point(8, 22);
143      this.label1.Name = "label1";
144      this.label1.Size = new System.Drawing.Size(62, 13);
145      this.label1.TabIndex = 0;
146      this.label1.Text = "Chart Type:";
147      //
148      // label2
149      //
150      this.label2.AutoSize = true;
151      this.label2.Location = new System.Drawing.Point(8, 51);
152      this.label2.Name = "label2";
153      this.label2.Size = new System.Drawing.Size(34, 13);
154      this.label2.TabIndex = 2;
155      this.label2.Text = "Color:";
156      //
157      // label3
158      //
159      this.label3.AutoSize = true;
160      this.label3.Location = new System.Drawing.Point(8, 21);
161      this.label3.Name = "label3";
162      this.label3.Size = new System.Drawing.Size(30, 13);
163      this.label3.TabIndex = 0;
164      this.label3.Text = "Bins:";
165      //
166      // commonGroupBox
167      //
168      this.commonGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
169                  | System.Windows.Forms.AnchorStyles.Right)));
170      this.commonGroupBox.Controls.Add(this.axisGroupBox);
171      this.commonGroupBox.Controls.Add(this.colorButton);
172      this.commonGroupBox.Controls.Add(this.label1);
173      this.commonGroupBox.Controls.Add(this.label2);
174      this.commonGroupBox.Controls.Add(this.chartTypeComboBox);
175      this.commonGroupBox.Location = new System.Drawing.Point(3, 3);
176      this.commonGroupBox.Name = "commonGroupBox";
177      this.commonGroupBox.Size = new System.Drawing.Size(313, 158);
178      this.commonGroupBox.TabIndex = 0;
179      this.commonGroupBox.TabStop = false;
180      this.commonGroupBox.Text = "Common";
181      //
182      // panel2
183      //
184      this.panel2.Controls.Add(this.xAxisPrimaryRadioButton);
185      this.panel2.Controls.Add(this.xAxisSecondaryRadioButton);
186      this.panel2.Location = new System.Drawing.Point(63, 16);
187      this.panel2.Name = "panel2";
188      this.panel2.Size = new System.Drawing.Size(231, 25);
189      this.panel2.TabIndex = 7;
190      //
191      // xAxisPrimaryRadioButton
192      //
193      this.xAxisPrimaryRadioButton.AutoSize = true;
194      this.xAxisPrimaryRadioButton.Location = new System.Drawing.Point(4, 4);
195      this.xAxisPrimaryRadioButton.Name = "xAxisPrimaryRadioButton";
196      this.xAxisPrimaryRadioButton.Size = new System.Drawing.Size(59, 17);
197      this.xAxisPrimaryRadioButton.TabIndex = 0;
198      this.xAxisPrimaryRadioButton.TabStop = true;
199      this.xAxisPrimaryRadioButton.Text = "Primary";
200      this.xAxisPrimaryRadioButton.UseVisualStyleBackColor = true;
201      this.xAxisPrimaryRadioButton.CheckedChanged += new System.EventHandler(this.xAxisRadioButton_CheckedChanged);
202      //
203      // xAxisSecondaryRadioButton
204      //
205      this.xAxisSecondaryRadioButton.AutoSize = true;
206      this.xAxisSecondaryRadioButton.Location = new System.Drawing.Point(70, 4);
207      this.xAxisSecondaryRadioButton.Name = "xAxisSecondaryRadioButton";
208      this.xAxisSecondaryRadioButton.Size = new System.Drawing.Size(76, 17);
209      this.xAxisSecondaryRadioButton.TabIndex = 1;
210      this.xAxisSecondaryRadioButton.TabStop = true;
211      this.xAxisSecondaryRadioButton.Text = "Secondary";
212      this.xAxisSecondaryRadioButton.UseVisualStyleBackColor = true;
213      this.xAxisSecondaryRadioButton.CheckedChanged += new System.EventHandler(this.xAxisRadioButton_CheckedChanged);
214      //
215      // panel1
216      //
217      this.panel1.Controls.Add(this.yAxisSecondaryRadioButton);
218      this.panel1.Controls.Add(this.yAxisPrimaryRadioButton);
219      this.panel1.Location = new System.Drawing.Point(63, 40);
220      this.panel1.Name = "panel1";
221      this.panel1.Size = new System.Drawing.Size(231, 25);
222      this.panel1.TabIndex = 5;
223      //
224      // yAxisSecondaryRadioButton
225      //
226      this.yAxisSecondaryRadioButton.AutoSize = true;
227      this.yAxisSecondaryRadioButton.Location = new System.Drawing.Point(70, 4);
228      this.yAxisSecondaryRadioButton.Name = "yAxisSecondaryRadioButton";
229      this.yAxisSecondaryRadioButton.Size = new System.Drawing.Size(76, 17);
230      this.yAxisSecondaryRadioButton.TabIndex = 1;
231      this.yAxisSecondaryRadioButton.TabStop = true;
232      this.yAxisSecondaryRadioButton.Text = "Secondary";
233      this.yAxisSecondaryRadioButton.UseVisualStyleBackColor = true;
234      this.yAxisSecondaryRadioButton.CheckedChanged += new System.EventHandler(this.yAxisRadioButton_CheckedChanged);
235      //
236      // yAxisPrimaryRadioButton
237      //
238      this.yAxisPrimaryRadioButton.AutoSize = true;
239      this.yAxisPrimaryRadioButton.Location = new System.Drawing.Point(4, 4);
240      this.yAxisPrimaryRadioButton.Name = "yAxisPrimaryRadioButton";
241      this.yAxisPrimaryRadioButton.Size = new System.Drawing.Size(59, 17);
242      this.yAxisPrimaryRadioButton.TabIndex = 0;
243      this.yAxisPrimaryRadioButton.TabStop = true;
244      this.yAxisPrimaryRadioButton.Text = "Primary";
245      this.yAxisPrimaryRadioButton.UseVisualStyleBackColor = true;
246      this.yAxisPrimaryRadioButton.CheckedChanged += new System.EventHandler(this.yAxisRadioButton_CheckedChanged);
247      //
248      // label6
249      //
250      this.label6.AutoSize = true;
251      this.label6.Location = new System.Drawing.Point(6, 22);
252      this.label6.Name = "label6";
253      this.label6.Size = new System.Drawing.Size(39, 13);
254      this.label6.TabIndex = 6;
255      this.label6.Text = "X Axis:";
256      //
257      // histoGramGroupBox
258      //
259      this.histoGramGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
260                  | System.Windows.Forms.AnchorStyles.Right)));
261      this.histoGramGroupBox.Controls.Add(this.panel3);
262      this.histoGramGroupBox.Controls.Add(this.binsNumericUpDown);
263      this.histoGramGroupBox.Controls.Add(this.label3);
264      this.histoGramGroupBox.Location = new System.Drawing.Point(3, 269);
265      this.histoGramGroupBox.Name = "histoGramGroupBox";
266      this.histoGramGroupBox.Size = new System.Drawing.Size(313, 49);
267      this.histoGramGroupBox.TabIndex = 2;
268      this.histoGramGroupBox.TabStop = false;
269      this.histoGramGroupBox.Text = "Histogram";
270      //
271      // panel3
272      //
273      this.panel3.Controls.Add(this.binsApproximatelyRadioButton);
274      this.panel3.Controls.Add(this.binsExactRadioButton);
275      this.panel3.Location = new System.Drawing.Point(146, 16);
276      this.panel3.Name = "panel3";
277      this.panel3.Size = new System.Drawing.Size(154, 25);
278      this.panel3.TabIndex = 2;
279      //
280      // binsApproximatelyRadioButton
281      //
282      this.binsApproximatelyRadioButton.AutoSize = true;
283      this.binsApproximatelyRadioButton.Location = new System.Drawing.Point(4, 4);
284      this.binsApproximatelyRadioButton.Name = "binsApproximatelyRadioButton";
285      this.binsApproximatelyRadioButton.Size = new System.Drawing.Size(90, 17);
286      this.binsApproximatelyRadioButton.TabIndex = 0;
287      this.binsApproximatelyRadioButton.TabStop = true;
288      this.binsApproximatelyRadioButton.Text = "Approximately";
289      this.binsApproximatelyRadioButton.UseVisualStyleBackColor = true;
290      this.binsApproximatelyRadioButton.CheckedChanged += new System.EventHandler(this.yAxisRadioButton_CheckedChanged);
291      //
292      // binsExactRadioButton
293      //
294      this.binsExactRadioButton.AutoSize = true;
295      this.binsExactRadioButton.Location = new System.Drawing.Point(100, 4);
296      this.binsExactRadioButton.Name = "binsExactRadioButton";
297      this.binsExactRadioButton.Size = new System.Drawing.Size(52, 17);
298      this.binsExactRadioButton.TabIndex = 1;
299      this.binsExactRadioButton.TabStop = true;
300      this.binsExactRadioButton.Text = "Exact";
301      this.binsExactRadioButton.UseVisualStyleBackColor = true;
302      this.binsExactRadioButton.CheckedChanged += new System.EventHandler(this.yAxisRadioButton_CheckedChanged);
303      //
304      // lineChartGroupBox
305      //
306      this.lineChartGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
307                  | System.Windows.Forms.AnchorStyles.Right)));
308      this.lineChartGroupBox.Controls.Add(this.lineWidthNumericUpDown);
309      this.lineChartGroupBox.Controls.Add(this.label4);
310      this.lineChartGroupBox.Controls.Add(this.startIndexZeroCheckBox);
311      this.lineChartGroupBox.Controls.Add(this.label7);
312      this.lineChartGroupBox.Controls.Add(this.lineStyleComboBox);
313      this.lineChartGroupBox.Controls.Add(this.label8);
314      this.lineChartGroupBox.Location = new System.Drawing.Point(3, 167);
315      this.lineChartGroupBox.Name = "lineChartGroupBox";
316      this.lineChartGroupBox.Size = new System.Drawing.Size(313, 96);
317      this.lineChartGroupBox.TabIndex = 1;
318      this.lineChartGroupBox.TabStop = false;
319      this.lineChartGroupBox.Text = "Line Chart";
320      //
321      // lineWidthNumericUpDown
322      //
323      this.lineWidthNumericUpDown.Location = new System.Drawing.Point(96, 66);
324      this.lineWidthNumericUpDown.Minimum = new decimal(new int[] {
325            1,
326            0,
327            0,
328            0});
329      this.lineWidthNumericUpDown.Name = "lineWidthNumericUpDown";
330      this.lineWidthNumericUpDown.Size = new System.Drawing.Size(65, 20);
331      this.lineWidthNumericUpDown.TabIndex = 5;
332      this.lineWidthNumericUpDown.Value = new decimal(new int[] {
333            1,
334            0,
335            0,
336            0});
337      this.lineWidthNumericUpDown.ValueChanged += new System.EventHandler(this.lineWidthNumericUpDown_ValueChanged);
338      //
339      // label4
340      //
341      this.label4.AutoSize = true;
342      this.label4.Location = new System.Drawing.Point(8, 68);
343      this.label4.Name = "label4";
344      this.label4.Size = new System.Drawing.Size(61, 13);
345      this.label4.TabIndex = 4;
346      this.label4.Text = "Line Width:";
347      //
348      // label7
349      //
350      this.label7.AutoSize = true;
351      this.label7.Location = new System.Drawing.Point(8, 46);
352      this.label7.Name = "label7";
353      this.label7.Size = new System.Drawing.Size(82, 13);
354      this.label7.TabIndex = 2;
355      this.label7.Text = "Start Index at 0:";
356      //
357      // lineStyleComboBox
358      //
359      this.lineStyleComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
360      this.lineStyleComboBox.FormattingEnabled = true;
361      this.lineStyleComboBox.Location = new System.Drawing.Point(96, 19);
362      this.lineStyleComboBox.Name = "lineStyleComboBox";
363      this.lineStyleComboBox.Size = new System.Drawing.Size(204, 21);
364      this.lineStyleComboBox.TabIndex = 1;
365      this.lineStyleComboBox.SelectedValueChanged += new System.EventHandler(this.lineStyleComboBox_SelectedValueChanged);
366      //
367      // label8
368      //
369      this.label8.AutoSize = true;
370      this.label8.Location = new System.Drawing.Point(8, 22);
371      this.label8.Name = "label8";
372      this.label8.Size = new System.Drawing.Size(56, 13);
373      this.label8.TabIndex = 0;
374      this.label8.Text = "Line Style:";
375      //
376      // label5
377      //
378      this.label5.AutoSize = true;
379      this.label5.Location = new System.Drawing.Point(6, 46);
380      this.label5.Name = "label5";
381      this.label5.Size = new System.Drawing.Size(39, 13);
382      this.label5.TabIndex = 6;
383      this.label5.Text = "Y Axis:";
384      //
385      // axisGroupBox
386      //
387      this.axisGroupBox.Controls.Add(this.label5);
388      this.axisGroupBox.Controls.Add(this.label6);
389      this.axisGroupBox.Controls.Add(this.panel1);
390      this.axisGroupBox.Controls.Add(this.panel2);
391      this.axisGroupBox.Location = new System.Drawing.Point(6, 75);
392      this.axisGroupBox.Name = "axisGroupBox";
393      this.axisGroupBox.Size = new System.Drawing.Size(299, 75);
394      this.axisGroupBox.TabIndex = 9;
395      this.axisGroupBox.TabStop = false;
396      this.axisGroupBox.Text = "Display Data on";
397      //
398      // DataRowVisualPropertiesControl
399      //
400      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
401      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
402      this.Controls.Add(this.lineChartGroupBox);
403      this.Controls.Add(this.histoGramGroupBox);
404      this.Controls.Add(this.commonGroupBox);
405      this.Name = "DataRowVisualPropertiesControl";
406      this.Size = new System.Drawing.Size(319, 323);
407      ((System.ComponentModel.ISupportInitialize)(this.binsNumericUpDown)).EndInit();
408      this.commonGroupBox.ResumeLayout(false);
409      this.commonGroupBox.PerformLayout();
410      this.panel2.ResumeLayout(false);
411      this.panel2.PerformLayout();
412      this.panel1.ResumeLayout(false);
413      this.panel1.PerformLayout();
414      this.histoGramGroupBox.ResumeLayout(false);
415      this.histoGramGroupBox.PerformLayout();
416      this.panel3.ResumeLayout(false);
417      this.panel3.PerformLayout();
418      this.lineChartGroupBox.ResumeLayout(false);
419      this.lineChartGroupBox.PerformLayout();
420      ((System.ComponentModel.ISupportInitialize)(this.lineWidthNumericUpDown)).EndInit();
421      this.axisGroupBox.ResumeLayout(false);
422      this.axisGroupBox.PerformLayout();
423      this.ResumeLayout(false);
424
425    }
426
427    #endregion
428
429    private System.Windows.Forms.ComboBox chartTypeComboBox;
430    private System.Windows.Forms.ColorDialog colorDialog;
431    private System.Windows.Forms.Button colorButton;
432    private System.Windows.Forms.CheckBox startIndexZeroCheckBox;
433    private System.Windows.Forms.NumericUpDown binsNumericUpDown;
434    private System.Windows.Forms.Label label1;
435    private System.Windows.Forms.Label label2;
436    private System.Windows.Forms.Label label3;
437    private System.Windows.Forms.GroupBox commonGroupBox;
438    private System.Windows.Forms.GroupBox histoGramGroupBox;
439    private System.Windows.Forms.RadioButton xAxisSecondaryRadioButton;
440    private System.Windows.Forms.RadioButton yAxisSecondaryRadioButton;
441    private System.Windows.Forms.RadioButton xAxisPrimaryRadioButton;
442    private System.Windows.Forms.RadioButton yAxisPrimaryRadioButton;
443    private System.Windows.Forms.Label label6;
444    private System.Windows.Forms.GroupBox lineChartGroupBox;
445    private System.Windows.Forms.NumericUpDown lineWidthNumericUpDown;
446    private System.Windows.Forms.Label label4;
447    private System.Windows.Forms.Label label7;
448    private System.Windows.Forms.RadioButton binsExactRadioButton;
449    private System.Windows.Forms.RadioButton binsApproximatelyRadioButton;
450    private System.Windows.Forms.Panel panel2;
451    private System.Windows.Forms.Panel panel1;
452    private System.Windows.Forms.Panel panel3;
453    private System.Windows.Forms.ComboBox lineStyleComboBox;
454    private System.Windows.Forms.Label label8;
455    private System.Windows.Forms.Label label5;
456    private System.Windows.Forms.GroupBox axisGroupBox;
457  }
458}
Note: See TracBrowser for help on using the repository browser.